The forsyde-shallow package
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: http://forsyde.ict.kth.se/. For examples and tutorials using
ForSyDe.Shallow, check the forsyde-shallow-examples repository.
This package is a spin-off of the ForSyDe project and it follows its versioning.
[Skip to Readme]
|Dependencies||base (>=4 && <6), directory, old-time, process, random [details]|
|Copyright||Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ELE|
|Author||ForSyDe Group, KTH/EECS/ELE|
|Maintainer||ForSyDe Group <email@example.com>|
|Source repo||head: git clone git://github.com/forsyde/forsyde-shallow|
|Uploaded||Thu Jan 18 19:39:38 UTC 2018 by ugeorge|
|Downloads||69 total (15 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees