عنوان

Formal Description Techniques and Protocol Specification, Testing and Verification :

(Number (ISBN

0387352716

(Number (ISBN

1475752601

(Number (ISBN

9780387352718

(Number (ISBN

9781475752601

Number

b538928

Title Proper

Formal Description Techniques and Protocol Specification, Testing and Verification :

General Material Designation

[Book]

Other Title Information

FORTE X / PSTV XVII '97

First Statement of Responsibility

edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.

Place of Publication, Distribution, etc.

Boston, MA

Name of Publisher, Distributor, etc.

Springer US : Imprint : Springer

Date of Publication, Distribution, etc.

1997

Specific Material Designation and Extent of Item

(XI, 550 pages)

Series Title

IFIP -- The International Federation for Information Processing

Text of Note

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.

Text of Note

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

Computer Communication Networks.

Computer science.

Class number

Book number

edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.

Atsushi Togashi

Norio Shiratori

Tadanori Mizuno

Teruo Higashino

Electronic name

[Book]

Y