Refinement: Semantics, Languages and Applications

by Eerke Boiten and John Derrick

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3030064972
• ISBN13: 9783030064976
• Release Date: January 2019
• Publisher: Springer
• Length: 269 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"