E-raamat: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

1 Specification-based testing of concurrent systems.- 2 Refusal testing
for classes of transition systems with inputs and outputs.- 3 A framework for
distributed object-oriented testing.- 4 Interoperability test suite
derivation for symmetric communication protocols.- 5 A hierarchy of
communication models for message sequence charts.- 6 Timing constraints in
message sequence chart specifications.- 7 Consistent semantics for ODP
information and computational models.- 8 Specifying the ODP trader: an
introduction to E-LOTOS.- 9 A computer aided design of a secure registration
protocol.- 10 Implementation of distributed systems described with LOTOS
multi-rendezvous on bus topology networks.- 11 Disjunction of LOTOS
specifications.- 12 A timed automaton model for ET-LOTOS verification.- 13
Automatic checking of aggregation abstractions through state enumeration.- 14
Concept of quantified abstract quotient automaton and its advantage.- 15
Validating protocol composition for progress by parallel step reachability
analysis.- 16 An improved search strategy for Lossy channel systems.- 17 A
weighted random walk approach for conformance testing of a system specified
as communicating finite state machines.- 18 Friendly testing as a conformance
relation.- 19 Generalized metric based test selection and coverage measure
for communication protocols.- 20 Dynamic priorities for modeling real-time.-
21 On-line timed protocol trace analysis based on uncertain state
descriptions.- 22 Algebraic specification through expression transformation.-
23 Modelling digital logic in SDL.- 24 A methodology for the description of
system requirements and the derivation of formal specifications.- 25 On the
influence of semantic constraints on the code generation from Estelle
specifications.- 26 Using a formal description technique to model aspects of
a global air traffic telecommunications network.- 27 An experiment in using
RT-LOTOS for the formal specification and verification of a distributed
scheduling algorithm in a nuclear power plant monitoring system.- 28
Intelligent protocol analyzer with TCP behavior emulation for
interoperability testing of TCP/IP protocols.- 29 Eight years of experience
in test generation from FDTs using TVEDA.- 30 Self-independent petri nets for
distributed systems.- 31 Combining CSP and object-Z: finite or infinite trace
semantics?.- 32 Selective mu-calculus: new modal operators for proving
properties on reduced transition systems.- 33 On a concurrency calculus for
design of mobile telecommunication systems.- Index of contributors.- Keyword
index.