By Julia Seiter,Robert Wille,Rolf Drechsler

This booklet presents a complete review of computerized version refinement, which is helping readers shut the space among preliminary textual specification and its wanted implementation. The authors let readers to keep on with “directions” for refinement: Vertical refinement, for including element and precision to unmarried description for a given version and Horizontal refinement, which considers a number of perspectives on one point of abstraction, refining the approach specification by way of committed descriptions for constitution or habit. The dialogue contains numerous equipment which help designers of digital structures during this refinement procedure, together with verification how to money immediately even if a refinement has been carried out as intended.

Show description

Read or Download Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering) PDF

Best systems architecture books

High Performance Scientific and Engineering Computing: Hardware/Software Support (The Springer International Series in Engineering and Computer Science)

Excessive functionality medical And Engineering Computing: Hardware/Software aid includes chosen chapters on hardware/software aid for prime functionality medical and engineering computing from prestigious workshops within the fields reminiscent of PACT-SHPSEC, IPDPS-PDSECA and ICPP-HPSECA. This edited quantity is largely divided into six major sections which come with invited fabric from famous researchers all over the world.

Embedded Systems and Computer Architecture

The writer has taught the layout and use of microprocessor platforms to undergraduate and technician point scholars for over 25 years. A middle textual content for tutorial modules on microprocessors, embedded platforms and desktop architectureA useful design-orientated strategy

Real-Time Programming 1992: Preprints of the IFAC Workshop, Bruges, Belgium, 2 (IFAC Postprint Volume)

The forty seven papers during this quantity supply an invaluable reference instrument for the cutting-edge learn in real-time programming.

Mastering Docker - Second Edition

Release new possibilities utilizing Docker's so much complex beneficial properties. approximately This BookExperience first- and third-party instruments comparable to Docker Compose, Docker desktop, Portainer, and RancherLearn the right way to leverage Kubernetes, Amazon ECS, and Docker Swarm and recognize whilst each one resolution is appropriateDiscover how Docker could be built-in into your day-by-day workflowsWho This publication Is ForIf you're an I.

Extra resources for Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Example text

Download PDF sample

Rated 4.57 of 5 – based on 33 votes