Open AccessA Formal Methodology for Deriving Purely Functional Programs From Z Specifications via the Intermediate Specification Language FunZ.
Author(s) -
Linda Sherrell
Publication year - 2022
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_disstheses.5981
Subject(s) - computer science , programming language , functional programming , software engineering , haskell , functional specification , formal specification , formal methods , specification language , software development , scope (computer science) , functional requirement , implementation , software requirements specification , software , software design , software construction