Languages for System Specification

Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03

By: Christoph Grimm (Editor)

Write A Review

Hardcover | 15 December 1996

At a Glance

Hardcover
368 Pages

Dimensions(cm)
23.39 x 15.6 x 2.06

Hardcover

$264.27

or 4 interest-free payments of $66.07 with

Aims to ship in 7 to 10 business days

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems.
Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.

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 Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Automatic Control Engineering Computer Hardware Personal Computers Computer Programming & Software Development

Programming & Scripting Languages Energy Technology & Engineering Electrical Engineering Graphical & Digital Media Applications Compilers & Interpreters

Other Editions and Formats

Paperback

Published: 7th December 2010

View Product

Preface
UML-Based System Specification and Design
Introduction
UML-Based Co-Design
A Unified Approach to Code Generation from Behavioral Diagrams
Platform-Independent Design for Embedded Real-Time Systems
Real-Time System Modeling with ACCORD/UML Methodology
UML-Based Specification of Embedded Systems
C-Based System Design
Space: A Hardware/Software SystemC Modeling Platform Including an RTOS
Laerte++: An Object Oriented High-Level TPG for SystemC Designs
A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit
Modeling of CSP, KPN and SR Systems with System
On Hardware Description in ECL
Analog and Mixed-Signal Systems
Introduction
Rules for Analog and Mixed-Signal VHDL-AMS Modeling
A VHDL-AMS Library of Hierarchical Optoelectronic Device Models
Towards High-Level Synthesis from VHDL-AMS Specifications
Reliability Simulation of Electronic Circuits with VHDL-AMS
Extending SystemC to Analog Modeling and Simulation
Languages for Formal Methods
Abstract State Machines
A New Time Extension to &pgr;-Calculus Based on Time Consuming Transition Semantics
Modeling CHP Descriptions in LTS for Asynchronous Circuit Validation
Combined Formal Refinement and Model Checking for Real-Time Systems Verification
Refinement of Hybrid Systems
Automotive Software Engineering
System Verilog
Table of Contents provided by Publisher. All Rights Reserved.

Languages for System Specification

Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Systems Analysis & Design

Linux Pocket Guide

4th Edition - Essential Commands

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Systems Analysis and Design

12th edition

Systems Analysis and Design

8th Edition

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

Full-Stack JavaScript Strategies

The Hidden Parts Every Mid-Level Developer Needs to Know

Building Green Software

A Sustainable Approach to Software Development and Operations

Modern System Administration

Managing Reliable and Sustainable Systems

Command-Line Rust

A Project-Based Primer for Writing Rust CLIs

DAMA-DMBOK

Data Management Body of Knowledge: 2nd Edition, Revised

Testing Elixir

Effective and Robust Testing for Elixir and its Ecosystem

Practical Process Automation

Orchestration and Integration in Microservices and Cloud Native Architectures

Learning and Applying Solidworks 2013-2014 Step by Step

Structure and Interpretation of the Smb Protocol

Systems Analysis and Design, Global Edition

10th edition

LDAP System Administration

O'Reilly Ser.

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

Head First

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

M: Information Systems

6th Edition

Business Analytics

Solving Business Problems With R

Systems Thinking for Business and Management

Principles and Practice

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Storytelling in Design

Defining, Designing, and Selling Multidevice Products

This product is categorised by