hackage.haskell.org : ForSyDe : 3.0

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 - Download - JSON - codemeta.json
purl: pkg:hackage/ForSyDe@3.0
Published: over 17 years ago
Indexed: almost 4 years ago