Refinement Semantics, Languages and Applications /

• Main Authors: Derrick, John (Author, http://id.loc.gov/vocabulary/relators/aut), Boiten, Eerke (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: 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...