Refinement : semantics, languages and applications /: semantics, languages and applications. ([2018])

• Record Type: Book
• Further Information: Note: John Derrick, Eerke Boiten.
• Authors: Derrick, John, 1963-; Boiten, Eerke, 1966-
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource
• Subjects: 005.3; Computer science; Application software -- Development; Computers -- Programming -- General; Computer programming / software development; Software engineering; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783319927114; 3319927116
• Related ISBNs: 3319927094; 9783319927091
• Notes: Note: Description based on online resource; title from digital title page (viewed on September 17, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.