High-Level System Modeling : Specification and Design Methodologies /

In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as perfor...

Full description

Bibliographic Details

Main Author:	Waxman, Ron
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bergé, Jean-Michel, Levia, Oz, Rouillard, Jacques
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1996.
Series:	Series Presentation ; 4.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book