ForSyDe: ForSyDe's Haskell-embedded Domain Specific Language.

[ bsd3, deprecated, hardware, language, library ] [ Propose Tags ]
Deprecated. in favor of forsyde-shallow, forsyde-deep

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.


[Skip to Readme]
Versions [faq] 3.0, 3.1, 3.1.1
Dependencies array, base (>=4 && <6), containers, directory, filepath, mtl, old-time, parameterized-data (>=0.1.5), pretty, process, random, regex-posix, template-haskell (>2.0), type-level [details]
License BSD-3-Clause
Copyright Copyright (c) 2003-2010 SAM group, KTH/ICT/ES
Author SAM group, KTH/ICT/ES
Maintainer forsyde-dev@ict.kth.se
Revised Revision 2 made by ugeorge at Wed Dec 26 23:40:32 UTC 2018
Category Language, Hardware
Home page http://www.ict.kth.se/forsyde/
Uploaded by HoseinAttarzadeh at Fri Jun 25 17:08:31 UTC 2010
Distributions NixOS:3.1.1
Downloads 2004 total (75 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees


Readme for ForSyDe-3.1.1

[back to package description]
 ForSyDe's Haskell-embedded Domain Specific Language.
 ====================================================

DESCRIPTION

 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 ForSyDe's implementation as a Haskell-embedded
 Domain Specific Language (DSL). 

 For more information, please see ForSyDe's website:
 <http://www.ict.kth.se/forsyde/>.


INSTALLATION

 For information on how to install ForSyDe see the INSTALL file.