Refinement Semantics, Languages and Applications

Refinement Semantics, Languages and Applications / by John Derrick, Eerke Boiten.

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

Full description

Saved in:
Bibliographic Details
Main Authors: Derrick, John (Author), Boiten, Eerke (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Springer eBook Collection.
Subjects:
Software engineering.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items