
EAN: 9783319927091

Bilder-Quelle: shopping24.de – Sport
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.
Produktinformationen zuletzt aktualisiert am
19.03.2025 um 05:52 Uhr
19.03.2025 um 05:52 Uhr
Hersteller
-
EAN
9783319927091
MPN
-
ASIN
-
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9781529340112 - Nuts and Bolts - Roma Agrawal Taschenbuch...9783642377556 - Coordination Organizations Intitutions and Norms i...
9783662566398 - Modeling Companion for Software Practitioners - Eg...
9783642005145 - Logic-Based Program Synthesis and Transformation K...
9783384209252 - Data Science Experiment Validate Collaborate - Sho...
9783662558614 - Transactions on Petri Nets and Other Models of Con...
9783319906850 - Functional and Logic Programming Kartoniert (TB)...
9783642050886 - FM 2009 Formal Methods Kartoniert (TB)...
9783642245589 - Formal Methods and Software Engineering Kartoniert...
9781489976727 - Handbook of Developmental Psychopathology Kartonie...
9783642047602 - Automated Technology for Verification and Analysis...
9783319228693 - Universitext The Analysis and Geometry of Hardys...
kürzlich hinzugefügt:
9783384229977 - Spark to Mind Brains Epic Journey - Namita Kartoni...9783319228693 - Universitext The Analysis and Geometry of Hardys...
9783319453651 - SpringerBriefs in Philosophy Existence and Machi...
9780141441276 - The Golden Bowl - Henry James Kartoniert (TB)...
9783863598488 - Ergebnisse aus der Produktionstechnik Developmen...
9781489976727 - Handbook of Developmental Psychopathology Kartonie...
9783319296272 - Engineering Trustworthy Software Systems Kartonier...
9783662486498 - Transactions on Petri Nets and Other Models of Con...
9783031010729 - Synthesis Lectures on Human-Centered Informatics ...
9783642002540 - Integrated Formal Methods Kartoniert (TB)...
3346470147379 - La Petite Robe Noire Absolue EDP - 30 ml...
9783031012167 - Synthesis Lectures on Information Security Privacy...