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 $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 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

Fit for Uncertainty

Lead with Purpose, Adapt to Change

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, AI, Cloud, and Microservices

The Ghidra Book, 2nd Edition

The Definitive Guide

The Essence of Software Engineering

Site Reliability Engineering

How Google Runs Production Systems

Building Microservices

Designing Fine-Grained Systems 2nd Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

C# 12 in a Nutshell

The Definitive Reference

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino For Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

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

Architectural Approach to Level Design

Second edition

The Art of Spyro

Reignited Trilogy

Typescript Cookbook

Real World Type-Level Programming

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

This product is categorised by