Refinement

Semantics, Languages and Applications

Autor: John Derrick, Eerke A. Boiten

Limbă:

Legare: Copertă tare

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

270.97 lei

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

Informații despre carte

Autor

John Derrick, Eerke A. Boiten

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2018

Pagini

269

EAN

9783319927091

ISBN

3319927094

Enbook ID

19382100

Editura

Springer International Publishing AG

Greutate

606

Dimensiuni

155 x 235 x 23

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Refinement

Semantics, Languages and Applications

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și