Automatic Methods for the Refinement of System Models: From by Julia Seiter,Robert Wille,Rolf Drechsler

By Julia Seiter,Robert Wille,Rolf Drechsler

This booklet presents a accomplished evaluation of computerized version refinement, which is helping readers shut the space among preliminary textual specification and its wanted implementation. The authors let readers to stick with “directions” for refinement: Vertical refinement, for including element and precision to unmarried description for a given version and Horizontal refinement, which considers numerous perspectives on one point of abstraction, refining the method specification by way of committed descriptions for constitution or habit. The dialogue contains a number of equipment which aid designers of digital platforms during this refinement strategy, together with verification the way to payment immediately even if a refinement has been performed 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

Similar systems architecture books

Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications

One of many major difficulties in chip layout is the big variety of attainable combos of person chip components inside a procedure, and the matter in their compatibility. the new software of knowledge constructions, effective algorithms, and ordered binary selection diagrams (OBDDs) has confirmed important in designing the pc chips of the next day.

Designing an IAM Framework with Oracle Identity and Access Management Suite (Oracle Press)

Enhance and enforce an End-to-End IAM resolution keep a high-performance, absolutely built-in safety beginning throughout your corporation utilizing the designated info during this Oracle Press advisor. Designing an IAM Framework with Oracle id and entry administration Suite explains the right way to lessen danger publicity via successfully handling your complete spectrum of clients.

Running Applications on Oracle Exadata: Tuning Tips & Techniques

Maximize program functionality on Oracle ExadataWritten via an company architect focusing on purposes on Oracle's engineered structures, operating purposes on Oracle Exadata: Tuning advice & recommendations unearths confirmed equipment for configuring and tuning Oracle Exadata to accomplish height effects from purposes.

Programming Massively Parallel Processors: A Hands-on Approach

Programming vastly Parallel Processors: A Hands-on procedure, 3rd variation indicates either scholar alike the fundamental suggestions of parallel programming and GPU structure, exploring, intimately, a variety of recommendations for developing parallel courses. Case experiences exhibit the advance approach, detailing computational pondering and finishing with potent and effective parallel courses.

Extra info 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.41 of 5 – based on 21 votes