Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan. Chapman & Hall 1998 IFIP Conference Proceedings ISBN 0-412-82060-9
Invited Talk I
- Ichiroh Sakakibara: Network and Application for New Generation. 1
Part One - Testing Theory for Concurrent Systems
- Lex Heerink, Jan Tretmans: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. 23-38
- Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs: A Framework for Distributed Object-Oriented Testing. 39-56
- Sungwon Kang, Myungchul Kim: Interoperability Test Suite Derivation for Symmetric Communication Protocols. 57-72
Part Two - MSC and ODP
- André Engels, Sjouke Mauw, Michel A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. 75-90
- Hanêne Ben-Abdallah, Stefan Leue: Timing Constraints in Message Sequence Chart Specifications. 91-106
- Joubine Dustzadeh, Elie Najm: Consistent Semantics for ODP Information and Computational Models. 107-126
Part Three - LOTOS and Extension
- Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi: Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. 161-176
- Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. 177-192
- Christian Hernalsteen: A Timed Automaton Model for ET-LOTOS Verification. 193-204
Part Four - Verification Technique
- Seungjoon Park, Satyaki Das, David L. Dill: Automatic Checking of Aggregation Abstractions Through State Enumeration. 207-222
- Guy Juanole, Laurent Gallon: Concept of Quantified Abstract Quotient Automaton and its Advantage. 223-238
- Gurdip Singh, Hong Liu: Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. 239-250
- Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. 251-264
Part Five - Conformance Testing
- Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo: A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. 267-282
- David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. 283-298
- Jinsong Zhu, Son T. Vuong: Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. 299-314
Invited Talk II
- Shoichi Noguchi: The Future Information Technology and its Impact to the Society. 317
Part Six - Real Time Systems
- Marek Musial: On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. 337-352
Part Seven - Languages and Applications
- Manuel J. Fernández Iglesias, Martín Llamas Nistal: Algebraic Specification through Expression Transformation. 355-366
- Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. 383-398
- Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. 399-414
Part Eigth - Industrial Usage Reports
- James H. Andrews, Nancy A. Day, Jeffrey J. Joyce: Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. 417-432
- L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci: An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. 433-448
- Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki: Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. 449-464
- Roland Groz, Nathalie Risser: Eight Years of Experience in Test Generation from FDTs using TVEDA. 465-480
Invited Talk III
- Henry Chang: Distributed Object Consistency in Mobile Environments. 483
Part Nine - Concurrent Systems
- Clemens Fischer, Graeme Smith: Combining CSP and Object-Z: Finite or Infinite Trace Semantics? 503-518
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. 519-534
- Toshihiko Ando, Kaoru Takahashi, Yasushi Kato: On a Concurrency Calculus for Design of Mobile Telecommunication Systems. 535-546
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team