Construction and Analysis of Transition Systems with MEC

By: A. Arnold, D. Begay, P. Crubille

Write A Review

Hardcover | 1 December 1993

At a Glance

Hardcover
200 Pages

Dimensions(cm)
22.86 x 16.51 x 1.27

Hardcover

RRP $136.99

$123.75

10%OFF

or 4 interest-free payments of $30.94 with

Ships in 15 to 25 business days

The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual level, and the verification and validation of this model.The mathematical formalism used for modeling and verifying systems is the synchronized product of transition systems. The book introduces this notion and presents several examples of modeling and verification covering various domains: games, industrial processes, communication protocols, etc.These examples are worked out using the "Mec" software tool. This book is also intended to be an introduction to this tool which is described in full detail.

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 $79.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 Programming & Software Development Software Engineering Computer Science Systems Analysis & Design Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory Booktopia Publisher Services World Scientific Publishing

Introduction	p. 1
The model	p. 5
Properties	p. 22
Algorithms	p. 35
First contact	p. 47
A solitaire game	p. 68
A can filling system	p. 71
Verification of a control system	p. 78
Atomic readings and writings	p. 96
A Call Processing System	p. 115
An electronic mail system	p. 123
The 'Transit Node' case study	p. 135
Architecture of MEC software	p. 155
Mec Reference Manual	p. 169
Bibliography	p. 187
Index	p. 191
Table of Contents provided by Blackwell. All Rights Reserved.

Construction and Analysis of Transition Systems with MEC

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Generative Artificial Intelligence

Technology and Applications

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Machine-Learning-Assisted Software Defect Prediction

Hands-on Software Architecture

Unified Architecture Process

Technologies and Innovation

11th International Conference, CITI 2025, Guayaquil, Ecuador, December 8-11, 2025, Proceedings

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

Hacking For Dummies

For Dummies (Computer/Tech)

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

This product is categorised by