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.75

or 4 interest-free payments of $82.44 with

or

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

More in Technology in General

Breakneck

China's Quest to Engineer the Future

Hardcover

RRP $55.00

$42.75

22%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$72.99

32%
OFF

Gilded Rage

Elon Musk and the Radicalization of Silicon Valley

Paperback

RRP $34.99

$28.75

18%
OFF

The Thinking Machine

Jensen Huang, Nvidia, and the World's Most Coveted Microchip

Paperback

RRP $36.99

$29.75

20%
OFF

Thing Explainer

Complicated Stuff in Simple Words

Paperback

RRP $34.99

$27.75

21%
OFF

The Aircraft Book

The Definitive Visual History

Hardcover

RRP $55.00

$40.75

26%
OFF

The Design of Everyday Things

Revised and Expanded Edition

Paperback

RRP $29.99

$22.75

24%
OFF

Astronomy for Curious Kids

An illustrated introduction to the solar system, our galaxy, space travel-and more!

Hardcover

RRP $32.99

$28.75

13%
OFF

The AI Con

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

Paperback

RRP $36.99

$29.75

20%
OFF

Good to Great : Why Some Companies Make the Leap... And Others Don't - Jim Collins

$46.75

19%
OFF

How to Invent Everything

Rebuild All of Civilization (with 96% fewer catastrophes this time)

Hardcover

RRP $42.99

$33.99

21%
OFF

Concise Encyclopedia of Poultry Breeds

Paperback

RRP $26.95

$25.75

Longitude

Paperback

RRP $22.99

$20.75

10%
OFF

"Surely You're Joking, Mr. Feynman!"

Adventures of a Curious Character

Paperback

RRP $30.35

$26.99

11%
OFF

Invention

A Life of Learning through Failure

Paperback

RRP $24.99

$18.99

24%
OFF

Source Code

My Beginnings

Hardcover

RRP $55.00

$36.75

33%
OFF

Artificial Intelligence and Human Existence : Insights on Education, Technology, and Society - A.V. Senthil Kumar

$143.99

17%
OFF

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Hardcover

RRP $294.00

$254.75

13%
OFF

Brave New Wild

Can Technology Really Save the Planet?

Paperback

RRP $32.99

$28.75

13%
OFF

Inspired : 2nd Edition

How to Create Tech Products Customers Love

Hardcover

RRP $52.95

$40.75

23%
OFF

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

Breakneck

China's Quest to Engineer the Future

The C Programming Language

Prentice Hall Software

Gilded Rage

Elon Musk and the Radicalization of Silicon Valley

The Thinking Machine

Jensen Huang, Nvidia, and the World's Most Coveted Microchip

Thing Explainer

Complicated Stuff in Simple Words

The Aircraft Book

The Definitive Visual History

The Design of Everyday Things

Revised and Expanded Edition

Astronomy for Curious Kids

An illustrated introduction to the solar system, our galaxy, space travel-and more!

The AI Con

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

Good to Great

Why Some Companies Make the Leap... And Others Don't

Epic Disruptions

11 Innovations That Shaped Our Modern World

How to Invent Everything

Rebuild All of Civilization (with 96% fewer catastrophes this time)

Concise Encyclopedia of Poultry Breeds

Longitude

"Surely You're Joking, Mr. Feynman!"

Adventures of a Curious Character

Invention

A Life of Learning through Failure

Source Code

My Beginnings

Artificial Intelligence and Human Existence

Insights on Education, Technology, and Society

Energy-Based Safety

A Scientific Approach to Preventing Serious Injuries and Fatalities (SIFs)

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Brave New Wild

Can Technology Really Save the Planet?

Inspired : 2nd Edition

How to Create Tech Products Customers Love

Multifunctional and Smart Materials

Advances in Sustainable Engineering Applications

Thermal and Flow Measurements

This product is categorised by