Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

By: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori

Write A Review

Hardcover | 31 October 1997

At a Glance

Hardcover
580 Pages

Dimensions(cm)
23.39 x 15.6 x 3.18

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 5 to 7 business days

Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications.

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 $0.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 Language & Linguistics Reference, Dictionaries & Guides Computing & I.T.Computer Networking & Communications Networking Standards & Protocols Engineering & Technology Energy Technology & Engineering Electrical Engineering Electronics & Communications Engineering Electronics Engineering Computer Hardware

Network Hardware Technology in General

Preface
Committee Members and Invited Talk
List of reviewers
New generation networks and applications	p. 3
Specification-based testing of concurrent systems	p. 7
Refusal testing for classes of transition systems with inputs and outputs	p. 23
A framework for distributed object-oriented testing	p. 39
Interoperability test suite derivation for symmetric communication protocols	p. 57
A hierarchy of communication models for message sequence charts	p. 75
Timing constraints in message sequence chart specifications	p. 91
Consistent semantics for ODP information and computational models	p. 107
Specifying the ODP trader: an introduction to E-LOTOS	p. 127
A computer aided design of a secure registration protocol	p. 145
Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks	p. 161
Disjunction of LOTOS specifications	p. 177
A timed automaton model for ET-LOTOS verification	p. 193
Automatic checking of aggregation abstractions through state enumeration	p. 207
Concept of quantified abstract quotient automaton and its advantage	p. 223
Validating protocol composition for progress by parallel step reachability analysis	p. 239
An improved search strategy for Lossy channel systems	p. 251
A weighted random walk approach for conformance testing of a system specified as communicating finite state machines	p. 267
Friendly testing as a conformance relation	p. 283
Generalized metric based test selection and coverage measure for communication protocols	p. 299
Future information technology and its impact on society	p. 317
Dynamic priorities for modeling real-time	p. 321
On-line timed protocol trace analysis based on uncertain state descriptions	p. 337
Algebraic specification through expression transformation	p. 355
Modelling digital logic in SDL	p. 367
A methodology for the description of system requirements and the derivation of formal specifications	p. 383
On the influence of semantic constraints on the code generation from Estelle specifications	p. 399
Using a formal description technique to model aspects of a global air traffic telecommunications network	p. 417
An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system	p. 433
Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols	p. 449
Eight years of experience in test generation from FDTs using TVEDA	p. 465
Distributed object consistency in mobile environments	p. 483
Self-independent petri nets for distributed systems	p. 487
Combining CSP and object-Z: finite or infinite trace semantics?	p. 503
Selective mu-calculus: new modal operators for proving properties on reduced transition systems	p. 519
On a concurrency calculus for design of mobile telecommunication systems	p. 535
Index of contributors	p. 547
Keyword index	p. 549
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Technology in General

Technologies for Children

3rd Edition

Nelson Product Design and Technologies VCE Units 1-4

5th Edition - Student Book

Mathematics for Technicians

7th Edition

The Design of Everyday Things

Revised and Expanded Edition

Modern Engineering Mathematics

6th Edition

Google Cloud Certified Cloud Digital Leader Study Guide

Sybex Study Guide

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

AI for Business

A Guide to AI Adoption

Green and Sustainable Synthesis of Iron Oxide-Based Nanomaterials for Energy and Environmental Applications

Metal Oxides

Metamaterials and Metasurfaces, Second Edition

Foundations, Trends and Applications

Surface Modifications of Nanomaterials for Energy, Environmental and Biomedical Applications

Micro & Nano Technologies

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Whitfield's Electrical Craft Principles, 6th edition

Volume 2: Volume 2

Biofuel Perspectives

Methanol and Ethanol in Combustion Engines from Production to Practical Application

Principles of Modern Grinding Technology

Metal and metal oxide nanoparticles in textile applications

The Textile Institute Book Series

Industrial Applications of Functionalized Magnetic Nanoparticles

Micro & Nano Technologies

The C Programming Language

Prentice Hall Software

The Singularity is Nearer

When We Merge with AI

Bird's Engineering Mathematics

9th Edition

Modern Engineering Mathematics pack with MyMathLab Global

6th edition

Thing Explainer

Complicated Stuff in Simple Words

Holistic Management

A Commonsense Revolution to Restore Our Environment

Open Circuits

The Inner Beauty of Electronic Components

This product is categorised by