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 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/org/ict/ecs/sam/projects/forsyde/www/.

[Skip to Readme]

Modules

[Index]

Downloads

ForSyDe-3.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

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	base, containers, directory, filepath, mtl, old-time, packedstring, parameterized-data, pretty, process, random, regex-posix, template-haskell (>2.0), type-level [details]
Tested with	ghc ==6.8.1, ghc ==6.8.2
License	BSD-3-Clause
Copyright	Copyright (c) 2003-2008 SAM group, KTH/ICT/ECS
Author	SAM group, KTH/ICT/ECS
Maintainer	forsyde-dev@ict.kth.se
Category	Language
Home page	http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/
Uploaded	by AlfonsoAcosta at 2008-09-30T16:48:56Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	3764 total (4 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.0

[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/org/ict/ecs/sam/projects/forsyde/www/>.


INSTALLATION

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