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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 15 years ago
3.1.1
over 15 years ago
Versions
3
3
Downloads
3,876 total
3,876 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/ForSyDe
spec |
| License | BSD-3-Clause |
| First Release | over 17 years ago |
| Last Synced | 18 days ago |