Del i serien IFIP Advances in Information and Communication Technology

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

Häftad, Engelska, 2013

AvAtsushi Togashi,Tadanori Mizuno,Norio Shiratori,Teruo Higashino

2 859 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

2 949 kr

Skickas inom 10-15 vardagar

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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Produktinformation

Utgivningsdatum2013-01-11
Mått155 x 235 x 31 mm
Vikt850 g
FormatHäftad
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor550
FörlagSpringer-Verlag New York Inc.
ISBN9781475752601

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Hårdvara inom Data och IT
Elektronik och kommunikationer inom Naturvetenskap och teknik

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.

Mer från samma serie

Data Mining and Reverse Engineering

Stefano Spaccapietra, Fred Maryanski

Inbunden, 1998

3 679 kr

Del 171

Technology Enhanced Learning

Jean-Pierre Courtiat, Costas Davarakis, Thierry Villemur

Inbunden, 2005

699 kr

Del 734

Digitally Transformed Education: Are We There Yet?

Margaret Leahy, Christophe Reffay

Häftad, 2026

2 229 kr

Trust Management II

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

Inbunden, 2008

1 479 kr

Wireless Sensor and Actor Networks II

Ali Miri

Inbunden, 2008

1 439 kr

Advances in Ad Hoc Networking

Pedro Cuenca, Carlos Guerrero, Ramon Puigjaner, Bartomeu Serra

Inbunden, 2008

1 479 kr

Innovation in Manufacturing Networks

Américo Azevedo

Inbunden, 2008

1 479 kr

Del 268

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Inbunden, 2008

1 479 kr

History of Computing and Education 3 (HCE3)

John Impagliazzo

Inbunden, 2008

699 kr

Knowledge Management in Action

Mark S. Ackerman, Rose Dieng, Carla Simone, Volker Wulf

Inbunden, 2008

1 479 kr

Du kanske också är intresserad av

Formal Description Techniques and Protocol Specification, Testing and Verification

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Inbunden, 1997

2 949 kr

Protocol Test Systems

Tadanori Mizuno, Teruo Higashino, Norio Shiratori

Häftad, 2013

2 149 kr

Protocol Test Systems

Tadanori Mizuno, Teruo Higashino, Norio Shiratori

Inbunden, 1995

2 149 kr

Testing of Software and Communicating Systems

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

Häftad, 2008

739 kr

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita - Stabilization, Safety, and Security of Distributed Systems, Häftad

Del 8255

Stabilization, Safety, and Security of Distributed Systems

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita

Häftad, 2013

739 kr

Automated Technology for Verification and Analysis

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Häftad, 2007

739 kr

Formal Techniques for Networked and Distributed Systems – FORTE 2008

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

Häftad, 2008

739 kr

Principles of Distributed Systems

Teruo Higashino

Häftad, 2005

739 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Del i serien IFIP Advances in Information and Communication Technology

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

Häftad, Engelska, 2013

AvAtsushi Togashi,Tadanori Mizuno,Norio Shiratori,Teruo Higashino

2 859 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

2 949 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2013-01-11
Mått155 x 235 x 31 mm
Vikt850 g
FormatHäftad
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor550
FörlagSpringer-Verlag New York Inc.
ISBN9781475752601

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Hårdvara inom Data och IT
Elektronik och kommunikationer inom Naturvetenskap och teknik

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.