Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the concept of refinement in software engineering, this book explores how to transform abstract system descriptions into practical implementations. It emphasizes the importance of refinement as a crucial link between high-level requirements and their executable counterparts, providing insights into formal methodologies that enhance the software development process. Through detailed explanations, it guides readers in effectively applying refinement techniques to achieve robust and reliable software solutions.
Nákup knihy
Refinement, John Derrick, Eerke Boiten
- Jazyk
- Rok vydania
- 2019
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Refinement
- Podtitul
- Semantics, Languages and Applications
- Jazyk
- anglicky
- Autori
- John Derrick, Eerke Boiten
- Vydavateľ
- Springer International Publishing
- Rok vydania
- 2019
- Väzba
- mäkká
- Počet strán
- 292
- ISBN13
- 9783030064976
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on the concept of refinement in software engineering, this book explores how to transform abstract system descriptions into practical implementations. It emphasizes the importance of refinement as a crucial link between high-level requirements and their executable counterparts, providing insights into formal methodologies that enhance the software development process. Through detailed explanations, it guides readers in effectively applying refinement techniques to achieve robust and reliable software solutions.