Refinement

Semantics, Languages and Applications

Autor: John Derrick, Eerke A. Boiten

Jazyk:

Väzba: Pevná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

49.06 €

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...

Informácie o knihe

Autor

John Derrick, Eerke A. Boiten

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2018

Stránok

269

EAN

9783319927091

ISBN

3319927094

Enbook ID

19382100

Vydavateľ

Springer International Publishing AG

Hmotnosť

606

Rozmery

155 x 235 x 23

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Refinement

Semantics, Languages and Applications

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež