Kluwer International Series in Engineering & Computer Scienc

How to master the complexity

By: Fabrice Kordon (Editor), Michel Lemoine (Editor)

Write A Review

Hardcover | 15 September 1991

At a Glance

Hardcover
292 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.

Shipping

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

Orders over $89.00 qualify for free shipping.

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 Computer Architecture & Logic Design Parallel Processing Engineering & Technology Electronics & Communications Engineering Electronics Engineering Computer Programming & Software Development Software Engineering Business Applications Presentation Graphics Software

Artificial Intelligence Graphical & Digital Media Applications Computer-Aided Design CAD

Introduction
The BART case study	p. 3
Formal specification and refinement of a safe train control function	p. 25
From UML to Z	p. 65
Environmental modeling with UML	p. 89
Checking BART test scenarios with UML's object constraint language	p. 133
Modeling and verifying behavioral aspects	p. 171
AutoFocus - mastering the complexity	p. 215
Conclusions	p. 259
Table of Contents provided by Blackwell. All Rights Reserved.

Kluwer International Series in Engineering & Computer Scienc

How to master the complexity

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer-Aided Design CAD

AutoCAD & AutoCAD LT All-in-One For Dummies

Data-driven BIM for Energy Efficient Building Design

1st Edition

Getting Started with 3D Printing

2nd Edition

Fusion 360 for Makers, 2e

Design Your Own Digital Models for 3D Printing and CNC Fabrication

Robotics for Architectural Restoration

Robotics for Architectural Restoration

BIM and Construction Health and Safety

1st Edition - Uncovering, Adoption and Implementation

3D Printing For Dummies

For Dummies (Computer/Tech)

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Transformative applied research

Breakthrough research in a changing world

Generation of Surfaces

Kinematic Geometry of Surface Machining

Computing, Communication and Intelligence

Next-Generation Computing and Information Systems

Taylor and Francis Proceedings in Computer Science and Engineering

WunderCAD/CAMmer

A Digital Mirabilia's Compendium in Contemporary Material Science and Bioinspired Design

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Advancing Societally Relevant Applications of Knowledge through Scientific Research

Challenges and Opportunities in Artificial Intelligence

Engineering and Management Applications

Autodesk AutoCAD Certified User Study Guide

AutoCAD 2026 Edition

Additive Manufacturing Handbook

Product Development for the Defense Industry

Applications of Quantum Computing in a Variety of Domains

Computing, Communication and Intelligence

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

This product is categorised by