High-Level System Modeling

Specification and Design Methodologies

By: Ronald Waxman (Editor), Jean-Michel BergÃ© (Editor), Oz Levia (Editor)

Write A Review

Hardcover | 31 January 1996

At a Glance

Hardcover
212 Pages

Dimensions(cm)
23.39 x 15.6 x 1.27

Hardcover

$264.27

or 4 interest-free payments of $66.07 with

Aims to ship in 7 to 10 business 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Mathematics Engineering & Technology Energy Technology & Engineering Electrical Engineering Electronics & Communications Engineering Electronics Engineering Circuits & Components Graphical & Digital Media Applications

A System Specification Model and Method
Adept: A Unified Environment for End-to-end System Design
The Design Cube: A Model for VHDL Designflow Representation and its Application
A Novel Approach to Guiding Incremental Specification
An Expert Assistant for Hardware Systems Specification
Integrating Non-Functional Aspects into Lotos
Index
Table of Contents provided by Publisher. All Rights Reserved.

High-Level System Modeling

Specification and Design Methodologies

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Systems Analysis and Design

12th edition

Building Evolutionary Architectures

Automated Software Governance

Business Driven Technology ISE

10th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Systems Analysis and Design

8th Edition

Command-Line Rust

A Project-Based Primer for Writing Rust CLIs

Full-Stack JavaScript Strategies

The Hidden Parts Every Mid-Level Developer Needs to Know

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

Modern System Administration

Managing Reliable and Sustainable Systems

Testing Elixir

Effective and Robust Testing for Elixir and its Ecosystem

Practical Process Automation

Orchestration and Integration in Microservices and Cloud Native Architectures

Building Green Software

A Sustainable Approach to Software Development and Operations

Linux Pocket Guide

4th Edition - Essential Commands

A Common-Sense Guide to Data Structures and Algorithms, 2e

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Structure and Interpretation of the Smb Protocol

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

LDAP System Administration

O'Reilly Ser.

Head First EJB - Passing the Sun Certified Business Component Developer Exam

Head First

DAMA-DMBOK

Data Management Body of Knowledge: 2nd Edition, Revised

Business Analytics

Solving Business Problems With R

This product is categorised by