|
" Formal Description Techniques and Protocol Specification, Testing and Verification : "
edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
719237
|
| Doc. No
|
:
|
b538928
|
| Main Entry
|
:
|
edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
|
| Title & Author
|
:
|
Formal Description Techniques and Protocol Specification, Testing and Verification : : FORTE X / PSTV XVII '97\ edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
|
| Publication Statement
|
:
|
Boston, MA: Springer US : Imprint : Springer, 1997
|
| Series Statement
|
:
|
IFIP -- The International Federation for Information Processing
|
| Page. NO
|
:
|
(XI, 550 pages)
|
| ISBN
|
:
|
0387352716
|
|
|
:
|
: 1475752601
|
|
|
:
|
: 9780387352718
|
|
|
:
|
: 9781475752601
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
|
| Subject
|
:
|
Computer Communication Networks.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA76.9.D5E358 1997
|
| Added Entry
|
:
|
Atsushi Togashi
|
|
|
:
|
Norio Shiratori
|
|
|
:
|
Tadanori Mizuno
|
|
|
:
|
Teruo Higashino
|
| |