{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/ForSyDe","name":"ForSyDe","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.\n\nTHIS PACKAGE IS DEPRECATED! The package has been split and continued as forsyde-shallow and forsyde-deep.","version":"3.1.1","softwareVersion":"3.1.1","license":"https://spdx.org/licenses/BSD-3-Clause","url":"http://www.ict.kth.se/forsyde/","keywords":["bsd3","deprecated","hardware","language","library","Propose Tags"],"maintainer":[{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"author":[{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"copyrightHolder":[{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"dateCreated":"2008-09-30","dateModified":"2010-06-25","datePublished":"2010-06-25","copyrightYear":2008,"downloadUrl":"https://hackage.haskell.org/package/ForSyDe-3.1.1/ForSyDe-3.1.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/ForSyDe"]}