Refinement: Semantics, Languages and Applications by John Derrick
English | PDF,EPUB | 2018 | 276 Pages | ISBN : 3319927094 | 10.32 MB
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.