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]

Modules

[Index]

Downloads

ForSyDe-3.1.1.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

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

AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo

For package maintainers and hackage trustees

edit package information

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]
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	3662 total (9 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.