The clafer package

[Tags: library, mit, program]

Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo, and MODELS group at IT University of Copenhagen. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools.


Properties

Versions0.3.5, 0.3.5.1, 0.3.6, 0.3.6.1, 0.3.7, 0.3.8, 0.3.9, 0.3.10 (info)
Change logCHANGES.md
Dependenciesaeson (>=0.7.0.6), array (>=0.4.0.1), base (>=4.7.0.1 && <5), bytestring (>=0.10.4.0), clafer (==0.3.10), cmdargs (>=0.10.7), containers (>=0.5.5.1), data-stringmap (>=1.0.1.1), directory (>=1.2.1.0), executable-path (>=0.0.3), filepath (>=1.3.0.2), HaXml (>=1.24), HTTP (>=4000.2.10), json-builder (>=0.3), lens (>=4.7), lens-aeson (>=1.0.0.3), mtl (>=2.2.1), network (>=2.6), network-uri (>=2.6), parsec (>=3.1.3), process (>=1.1.0.2), split (>=0.2.2), string-conversions (>=0.3.0.2), text (>=1.1.0.0), transformers (>=0.3.0.0)
LicenseMIT
AuthorKacper Bak, Jimmy Liang, Michal Antkiewicz, Ed Zulkoski, Luke Michael Brown, Paulius Juodisius, Rafael Olaechea
MaintainerMichal Antkiewicz <mantkiew@gsd.uwaterloo.ca>
StabilityExperimental
CategoryModel
Home pagehttp://clafer.org
Source repositoryhead: git clone git://github.com/gsdlab/clafer.git
Executablesclafer
UploadedSat Apr 25 00:29:27 UTC 2015 by mantkiew
DistributionsNixOS:0.3.10
Downloads802 total (55 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-04-25 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees