0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

High-Level System Modeling - Specification and Design Methodologies (Hardcover, 1996 ed.) Loot Price: R4,466
Discovery Miles 44 660
High-Level System Modeling - Specification and Design Methodologies (Hardcover, 1996 ed.): Ronald Waxman, Jean-Michel Berge, Oz...

High-Level System Modeling - Specification and Design Methodologies (Hardcover, 1996 ed.)

Ronald Waxman, Jean-Michel Berge, Oz Levia, Jacques Rouillard

Series: Current Issues in Electronic Modeling, 4

 (sign in to rate)
Loot Price R4,466 Discovery Miles 44 660 | Repayment Terms: R419 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. This book addresses Model Generation and Application specifically in the following domains: Specification modeling (linking object/data modeling, behavior modeling, and activity modeling). Operational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint). Linking non-functional parameters with specification models. Hybrid modeling (linking performance and functional elements). Application of high-level modeling to hardware/software approaches. Mathematical analysis techniques related to the modeling approaches. Reliability modeling. Applications of High Level Modeling. Reducing High Level Modeling to Practice. High-Level System Modeling: Specification and Design Methodologies describes the latest research and practice in the modeling of electronic systems and as such is an important update for all researchers, design engineers and technical managers working in design automation and circuit design.

General

Imprint: Springer
Country of origin: Netherlands
Series: Current Issues in Electronic Modeling, 4
Release date: 2001
First published: 1996
Editors: Ronald Waxman • Jean-Michel Berge • Oz Levia • Jacques Rouillard
Dimensions: 235 x 155 x 12mm (L x W x T)
Format: Hardcover
Pages: 192
Edition: 1996 ed.
ISBN-13: 978-0-7923-9660-4
Categories: Books > Professional & Technical > General
Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
Promotions
LSN: 0-7923-9660-X
Barcode: 9780792396604

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,366 R1,270 Discovery Miles 12 700
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,406 R1,302 Discovery Miles 13 020
Systems Analysis And Design
Scott Tilley Hardcover R1,385 R1,285 Discovery Miles 12 850
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,269 R1,185 Discovery Miles 11 850
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R6,943 Discovery Miles 69 430
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,355 R1,259 Discovery Miles 12 590
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,341 R1,245 Discovery Miles 12 450
Program Construction - Calculating…
Roland Backhouse Paperback R1,467 Discovery Miles 14 670
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,289 R1,197 Discovery Miles 11 970
Introduction to the Theory of…
Michael Sipser Hardcover R1,354 R1,253 Discovery Miles 12 530
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,932 Discovery Miles 19 320
Principles of Biomedical Informatics
Ira J. Kalet Ph.D. Hardcover R1,852 Discovery Miles 18 520

See more

Partners