Refinement

Semantics, Languages and Applications

Szerző: John Derrick, Eerke A. Boiten

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

18 924 Ft

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

Információk a könyvről

Szerző

John Derrick, Eerke A. Boiten

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2018

oldal

269

EAN

9783319927091

ISBN

3319927094

Enbook ID

19382100

Kiadó

Springer International Publishing AG

Súly

606

Méretek

155 x 235 x 23

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Refinement

Semantics, Languages and Applications

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták