+612 9045 4394
Formal Descriptions Techniques : IFIP Advances in Information and Communication Technology - Gregor von Bochmann

Formal Descriptions Techniques

IFIP Advances in Information and Communication Technology

By: Gregor von Bochmann (Editor), Omar Rafiq (Editor), Rachida Dssouli (Editor)

Hardcover Published: December 2009
ISBN: 9780412732706
Number Of Pages: 452

Share This Book:


RRP $846.99
or 4 easy payments of $146.56 with Learn more
Ships in 7 to 10 business days

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Conference Organizers, Program Committee and Organization Committee
List of Referees
Specification and verification of timed systemsp. 3
Stabilizing client/server protocols without the tearsp. 5
Distributed system specification in VDM[superscript ++]p. 23
OMT*, bridging the gap between analysis and designp. 39
Formal support for design techniques: a timethreads-LOTOS approachp. 57
Using PO methods for verifying behavioural equivalencesp. 75
Formal verification of a protocol for communications over faulty channelsp. 91
Specifying properties of basic LOTOS processes using temporal logicp. 109
A reachability analysis of RT-LOTOS specificationsp. 117
Towards a mobile LOTOSp. 127
Type specifications with processesp. 143
A unified model for CSP-like languages with specificationsp. 159
Secrets of call forwarding: a specification case studyp. 169
Formal method for event-triggered sequential systemsp. 185
An extension of GDMO for formalizing managed objects behaviourp. 201
Experiences of using SDL collected in IskraTEL SDL methodologyp. 221
Development of broadband ISDN telecommunication services using SDL '92, ASN.1 and automatic code generationp. 237
Supporting evolution of SDL-based systems: industrial experiencep. 253
A LOTOS compiler generating multi-threaded object codesp. 271
Combining formal methods: an exercise in integrationp. 295
Formal specification of a framework for groupware developmentp. 303
SELEXPERT - a knowledge-based tool for test case selectionp. 313
Mutation testing applied to validate specifications based on Petri Netsp. 329
A new approach for distributing Estelle specificationsp. 339
Critical time distributed systems: qualitative and quantitative analysis based on stochastic timed Petri Netsp. 351
Testing semantics for probabilistic LOTOSp. 367
Real-time LOTOS and timed observationsp. 383
Assertional verification of a connection management protocolp. 401
Sharing trees for "on-the-fly" verificationp. 417
Verification of liveness property for communicating FSM's with conditional transitions depending on state visiting numbersp. 433
A new approach for protocols performance evaluation using Estelle specificationsp. 441
Index of contributorsp. 449
Keyword indexp. 451
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412732706
ISBN-10: 041273270X
Series: IFIP Advances in Information and Communication Technology : Book 8
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 452
Published: December 2009
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 2.69
Weight (kg): 1.85