Check nearby libraries
Buy this book
Last edited by Open Library Bot
December 5, 2010 | History
This edition doesn't have a description yet. Can you add one?
Publish Date
1996
Publisher
published by Chapman & Hall on behalf of the International Federation for Information Processing
Language
English
Pages
516
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Formal Description Techniques IX: Theory, application and tools (IFIP International Federation for Information Processing)
September 30, 1996, Springer
in English
041279490X 9780412794902
|
zzzz
Libraries near you:
WorldCat
|
2
Formal description techniques, IX: theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996
1996, published by Chapman & Hall on behalf of the International Federation for Information Processing
in English
041279490X 9780412794902
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Machine generated contents note: Invited Talk I
1 The Video Dial Tone Service and the ATM Environment 3
A. Danthine
PART ONE Tools and Tool Support
2 Computer-Assisted Verification of an Algorithm for
Concurrent Timestamps 29
T. P. Petrov, A. Pogosyants, S. J. Garland, V Luchangco and N. A. Lynch
3 Design and Optimization of High-Performance Protocols with
the DO-IT Toolbox 45
A. Mitschele-Thiel, P. Langendorfer and R. Henke
4 Tool Support for Algebraic Specifications of Data in SDL-92 61
N. N. Mansurov, A. S. Ragozin, A. V Chernov and I. V. Mansurov
5 Automating Performance Optimisation by Heuristic Analysis
of a Formal Specification 77
P Hoschka
Invited Talk II
6 Formal Description Techniques - How Formal and Descriptive are they? 95
M. Broy
PART TWO FDT-Application
7 Using Formal Methods in the Development of Protocols for Multi-User
Multimedia Systems 113
S. Kleuker
8 Formal Verification of Communication Protocols 129
M. A. S. Smith
9 Applications of Fair Testing 145
E. Brinksma, A. Rensink and W. Vogler
PART THREE FDT-Based System and Protocol Engineering
10 Fault Models for Testing in Context 163
A. Petrenko, N. Yevtushenko and G. v. Bochmann
11 EPER: Efficient Packed Encoding Rules for ASN. 1 179
H. Horiuchi, T Kuroki, S. Obana and K. Suzuki
12 Relating Conformance Test Coverage to Formal Specifications 195
R. Groz, O. Charles and J. Rendvot
PART FOUR Performance Modelling and Analysis
13 Performance Modelling with the Formal Specification Language SDL 213
M. Biitow, M. Mestern, C. Schapiro and P S. Kritzinger
14 The QUEST-Approach for the Performance Evaluation
of SDL-Systems 229
M. Diefenbruch, J. Hintelmann and B. Miiller-Clostermann
15 A Formal Description Language for the Modelling
and Simulation of Timed Interaction Diagrams 245
L. Braga, R. Manione and P. Renditore
PART FIVE Real-Time and Probability Aspects
16 Model Reduction of Modules for State-Event Temporal Logics 263
M. Lawford, J. S. Ostroffand W. M. Wonham
17 Time-Action Alternating Model for Timed LOTOS and its Symbolic
Verification of Bisimulation Equivalence 279
A. Nakata, T Higashino and K. Taniguchi
18 A Timed Semantics for SDL 295
S. M0rk, J. C. Godskesen, M. R. Hansen and R. Sharp
19 Implementation of Multimedia Systems based on a Real-Time
Extension of Estelle 310
S. Fischer
Invited Talk III - Abstract
20 Using Formal Methods: if you're so smart how come you ain't rich? 329
E. Brinksma
PART SIX Verification and Validation
21 A New Scheme for Memory-Efficient Probabilistic Verification 333
U. Stern and D. L Dill
22 Direct Verification of Bisimulations 349
M. Llamas, J. Quemada and M. J. Ferndndez
23 Finitely Representing Infinite Reachability Graphs of CFSMs
with Graph Grammars 364
Y-M. Quemener and T. Jdron
24 Model Checking Based on Occurrence Net Graph 380
J.-M. Couvreur and D. Poitrenaud
Invited Talk IV - Abstract
25 Network Computing 399
L Mackert
PART SEVEN Industrial Usage Reports
26 Validation-Based Test Sequence Generation for Networks
of Extended Finite State Machines 403
S. Huang, D. Lee and M. Staskauskas
27 Using SDL for the Specification, Simulation and Implementation
of an Advanced OSI Data-Link Protocol on an
Embedded Microcontroller System 419
W. Kellerer, A. Iselt and R. Riek
28 Specification and Verification of the PowerScaleTM Bus
Arbitration Protocol:An Industrial Experiment with LOTOS 435
G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi and F Zulian
29 Combined Application of SDL-92, OMT, MSC and TTCN 451
E. Inocencio, M. Ricardo, H. Sato and T. Kashima
PART EIGHT Extensions of FDTs and Semantical Foundations
30 On the Introduction of Exceptions in E-LOTOS 469
H. Garavel and M. Sighireanu
31 From LOTOS to Petri Nets through Iexpansion 485
D. Larrabeiti, J. Quemada and S. Pavdn
32 Comparing LOTOS and Z Refinement Relations 501
J. Derrick, H. Bowman, E. A. Boiten and M. W. A. Steen.
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |