@hackage / ForSyDe

ForSyDe's Haskell-embedded Domain Specific Language.

Version Deprecated package3.1.1

About

Metadata

  • Last updated , by ugeorge
  • License BSD-3-Clause
  • Categories Hardware

  • Maintained by: forsyde-dev@ict.kth.se

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

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.