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 Drug Discovery from Mother Nature by John Derrick, Eerke Boiten
Cover of the book Environmental Pollution of Paddy Soils by John Derrick, Eerke Boiten
Cover of the book Formal Aspects of Component Software by John Derrick, Eerke Boiten
Cover of the book Neurophysiology in Clinical Practice by John Derrick, Eerke Boiten
Cover of the book Recent Advances in Computational Optimization by John Derrick, Eerke Boiten
Cover of the book Wastewater Reuse and Current Challenges by John Derrick, Eerke Boiten
Cover of the book Text Mining by John Derrick, Eerke Boiten
Cover of the book Infectious Disease Modeling by John Derrick, Eerke Boiten
Cover of the book Interdisciplinary Approaches to Food Digestion by John Derrick, Eerke Boiten
Cover of the book Distributed Simulation by John Derrick, Eerke Boiten
Cover of the book A Dynamical Perspective on the ɸ4 Model by John Derrick, Eerke Boiten
Cover of the book The Dynamics of Judicial Independence by John Derrick, Eerke Boiten
Cover of the book New Directions in Language Learning Psychology by John Derrick, Eerke Boiten
Cover of the book Problems of Nonlinear Mechanics and Physics of Materials by John Derrick, Eerke Boiten
Cover of the book Road Vehicle Automation 3 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