Abstract is missing.
- TENT: Test Sequence Generation Tool for Communication SystemsFumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno. 1-5
- An Estelle Based Test Generation Tool for Modular SpecificationsBehdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya. 7-11
- COOPER - The Compositional Construction of a Canonical TesterRudie Alderden. 13-17
- A Tool for Encoding and Decoding Big ASN.1 MessagesJoaquín Seoane. 19-23
- Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language DescriptionP. Li, M. von Thun, Tharam S. Dillon. 25-29
- UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOST. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang. 31-36
- SDT - a Real-Time CASE Tool for the CCITT Specification Language SDLMichael Atlevi. 37-41
- Tools for LOTOS Specification Style TransformationPeter van Eijk. 43-51
- A Protocol Engineering WorkstationPieter S. Kritzinger, Graham Wheeler. 53-59
- AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata NetworksEric Madelaine, Didier Vergamini. 61-66
- The Formal Definition of the Architectural Concept Interaction Point Reinhard Gotzhein. 67-81
- An Evaluation of the LCF Theorem Prover using LOTOSRob Booth. 83-99
- Specification Modules in LOTOSEd Brinksma. 101-115
- A LOTOS-Based Development StrategyKenneth J. Turner. 117-132
- On the Distributed Implementation of LOTOSGregor von Bochmann, Qiang Gao, Cheng Wu. 133-146
- Compilation of LOTOS Abstract Data TypesHubert Garavel. 147-162
- An Algorithm for Translating LOTOS Behavior Expressions into Automata and PortsEric Dubuis. 163-177
- LOTOS Extended with ClocksWilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg. 179-193
- TIC: A Timed Calculus for LOTOSJuan Quemada, Arturo Azcorra, David de Frutos-Escrig. 195-209
- An Object Oriented Interpretation of LOTOSElspeth Cusack, Steve Rudkin, Chris Smith. 211-226
- Specification for VerificationHans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson. 227-244
- Specifying Concurrent Systems Using LogicDavid Gilbert. 245-260
- An Expressive Temporal Logic for Basic LOTOSAlessandro Fantechi, Stefania Gnesi, Cosimo Laneve. 261-276
- Documentation of Communications Services and ProtocolsDavid Lorge Parnas. 277-280
- Object-Z: An Object-Oriented Extension to ZDavid A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith. 281-296
- Yet another FDT ? An Introduction to CHILL-SAnsgar Bergmann, Uwe Janßen. 297-311
- Modeling of Distributed Systems by Concurrent Regular ExpressionsVijay K. Garg. 313-327
- Test Generation from Protocol SpecificationPiyu Tripathy, Behçet Sarikaya. 329-343
- Test Case Derivation from LOTOS SpecificationsJan Tretmans. 345-359
- Derivation of Test Cases for LAP-B from a LOTOS SpecificationDjaffar Gueraichi, Luigi Logrippo. 361-374
- A Formal Multi-Layer Test Methodology and its Applications to OSIJean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale. 375-392
- From the Simulation to the Verification of Estelle SpecificationsPierre de Saqui-Sannes, Jean-Pierre Courtiat. 393-407
- Automatic Translation of SDL Specifications to Implementation Based on Syntactic TransformationKong E. Cheng, Lindsay N. Jackson. 409-419
- Executable Communicating Rule SystemsJürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys. 421-436
- Experience with Formal Methods in Protocol DevelopmentDeepinder P. Sidhu, Anthony Chung. 437-453
- Experiences Using Estelle Within SEDOS Estelle DemonstratorMichel Diaz, Jean Dufau, Roland Groz. 455-470
- A New User s Experiences and Impressions with EstelleSamuel C. Chamberlain, Paul D. Amer. 471-484
- A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication SystemRichard C. Cam, Son T. Vuong. 485-499
- ASDE: Design of a Transformational Environment for LOTOSGonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro. 501-515
- From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1Muffy Thomas. 517-531
- Translation from LOTOS and Estelle Specifications to Extended Transition System and its VerificationJian-Ping Wu, Samuel T. Chanson. 533-549