Refinement

Semantics, Languages and Applications

Autor: John Derrick, Eerke A. Boiten

Jazyk:

Vazba: Pevná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

1 120 Kč

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

Informace o knize

Autor

John Derrick, Eerke A. Boiten

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2018

Stránek

269

EAN

9783319927091

ISBN

3319927094

Enbook ID

19382100

Vydavatel

Springer International Publishing AG

Hmotnost

606

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Refinement

Semantics, Languages and Applications

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také