The book is currently out of stock
More about the book
Refinement serves as a crucial link in software engineering, transforming abstract descriptions of systems into practical implementations. This process bridges the gap between high-level requirements and their execution, ensuring that theoretical concepts are effectively translated into functional software or hardware solutions. The book delves into the methodologies and principles of refinement, highlighting its importance in achieving precise and reliable system design.
Book purchase
Refinement, John Derrick, Eerke Boiten
- Language
- Released
- 2018
We’ll notify you via email once we track it down.
Payment methods
- Title
- Refinement
- Subtitle
- Semantics, Languages and Applications
- Language
- English
- Authors
- John Derrick, Eerke Boiten
- Publisher
- Springer International Publishing
- Publisher
- 2018
- Format
- Hardcover
- Pages
- 292
- ISBN13
- 9783319927091
- Category
- Computers, IT, Programming
- Description
- Refinement serves as a crucial link in software engineering, transforming abstract descriptions of systems into practical implementations. This process bridges the gap between high-level requirements and their execution, ensuring that theoretical concepts are effectively translated into functional software or hardware solutions. The book delves into the methodologies and principles of refinement, highlighting its importance in achieving precise and reliable system design.