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

[ bsd3, deprecated, hardware, language, library ] [ Propose Tags ] [ Report a vulnerability ]
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]

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

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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]
Tested with ghc ==6.12.3
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 2018-12-26T23:40:32Z
Category Language, Hardware
Home page http://www.ict.kth.se/forsyde/
Uploaded by HoseinAttarzadeh at 2010-06-25T17:08:31Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3730 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

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.