hackage.haskell.org : ForSyDe

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 PACKAGE IS DEPRECATED! The package has been split and continued as forsyde-shallow and forsyde-deep.

Registry - Homepage - JSON - codemeta.json
purl: pkg:hackage/ForSyDe
Keywords: bsd3 , deprecated , hardware , language , library , Propose Tags
License: BSD-3-Clause
Latest release: over 15 years ago
First release: over 17 years ago
Downloads: 3,866 total
Last synced: 24 days ago

• Readme
• Versions 3
• Dependent Packages 0
• Maintainers 4