Refinement

Semantics, Languages and Applications

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Refinement by John Derrick, Eerke Boiten, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: John Derrick, Eerke Boiten ISBN: 9783319927114
Publisher: Springer International Publishing Publication: September 3, 2018
Imprint: Springer Language: English
Author: John Derrick, Eerke Boiten
ISBN: 9783319927114
Publisher: Springer International Publishing
Publication: September 3, 2018
Imprint: Springer
Language: English

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 implementation of those requirements. 

This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. 

It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 implementation of those requirements. 

This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. 

It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related. 

More books from Springer International Publishing

Cover of the book Women Writing Fancy by John Derrick, Eerke Boiten
Cover of the book Dependability in Medicine and Neurology by John Derrick, Eerke Boiten
Cover of the book Strengthening Teaching and Learning in Research Universities by John Derrick, Eerke Boiten
Cover of the book Protein and Sugar Export and Assembly in Gram-positive Bacteria by John Derrick, Eerke Boiten
Cover of the book FinTech Revolution by John Derrick, Eerke Boiten
Cover of the book Personal Injury and Damage Ascertainment under Civil Law by John Derrick, Eerke Boiten
Cover of the book Riding the Leadership Rollercoaster by John Derrick, Eerke Boiten
Cover of the book Irregularities in the Distribution of Prime Numbers by John Derrick, Eerke Boiten
Cover of the book Spin Correlations in tt Events from pp Collisions by John Derrick, Eerke Boiten
Cover of the book Coordination Models and Languages by John Derrick, Eerke Boiten
Cover of the book Organizational Psychology and Evidence-Based Management by John Derrick, Eerke Boiten
Cover of the book Frontiers in Algorithmics by John Derrick, Eerke Boiten
Cover of the book The Hyperuniverse Project and Maximality by John Derrick, Eerke Boiten
Cover of the book Learning from Difference: Comparative Accounts of Multicultural Education by John Derrick, Eerke Boiten
Cover of the book Sublinear Algorithms for Big Data Applications by John Derrick, Eerke Boiten
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy