Refinement Semantics, Languages and Applications /

• Κύριοι συγγραφείς: Derrick, John (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Boiten, Eerke (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Software engineering.; Computer logic.; Software Engineering.; Logics and Meanings of Programs.

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementatio...