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...

Πίνακας περιεχομένων:

• Semantics
• Labeled Transition Systems and their Refinement
• Automata - introducing simulations
• Simple State Based Refinement
• A Relational View of Refinement
• Perspicuity, Divergence, and Internal Operations
• Refinement in Specification Languages
• State-based Languages: Z and B
• State-based Languages: Event-B and ASM
• Relating Notions of Refinement
• Relational Concurrent Refinement
• Relating Data Refinement and Failures-divergences Refinement
• Process data types - a fully general model of concurrent refinement.