Abstract is missing.
- Specification and Verification of Timed SystemsJoseph Sifakis. 3-4
- Stabilizing Client/Server Protocols without the TearsMohamed G. Gouda. 5-19
- Distributed System Specification in VDM:::++:::Kevin Lano. 23-38
- OMT:::*:::, Bridging the Gap between Analysis and DesignViviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut. 39-55
- Formal Support for Design Techniques: A Timethreads-LOTOS ApproachDaniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo. 57-72
- Using PO Methods for Verfying Behavioural EquivalencesMonica Lara de Souza, Robert de Simone. 75-90
- Formal Verfication of a Protocol for Communications over Faulty ChannelsBoutheina Chetali, Pierre Lescanne. 91-108
- Specifying Properties of Basic LOTOS Processes Using Temporal LogicCarron Kirkwood. 109-116
- A Reachability Analysis of RT-LOTOS SpecificationsJean-Pierre Courtiat, Roberto C. de Oliveira. 117-124
- Towards a Mobile LOTOSElie Najm, Jean-Bernard Stefani, Arnaud Février. 127-142
- Type Specifications with ProcessesFranz Puntigam. 143-158
- A Unified Model for CSP-like Languages with SpecificationsLuming Lai. 159-166
- Secrets of Call Forwarding: A Specification Case StudyPamela Zave. 169-184
- Formal Method for Event-Triggered Sequential SystemsCarsta Petersohn. 185-200
- An Extension of GDMO for Formalizing Managed Objects BehaviourJoaquín Keller. 201-217
- Experiences of Using SDL Collected in IskraTEL SDL MethodologyAana Robnik. 221-236
- Development of Broadband ISDN Telecommunication Services Using SDL 92, ASN.1 and Automatic Code GenerationUlf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock. 237-252
- Supporting Evolution of SDL-based Systems: Industrial ExperienceBjørn Gulla, Joe Gorman. 253-268
- A LOTOS Compiler Generating Multi-threaded Object CodesKeiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi. 271-286
- A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher. 287-294
- Combining Formal Methods: An Exercise in IntegrationJean-Charles Grégoire, Michael J. Ferguson, Lou Pino. 295-302
- Formal Specification of a Framework for Groupware DevelopmentAlain Kerbrat, Slim Ben Atallah. 303-310
- SELEXPERT - A Knowledge-based Tool for Test Case SelectionAbdelaziz Guerrouat, Hartmut König, Andreas Ulrich. 313-328
- Mutation Testing Applied to Validate Specifications Based on Petri NetsSandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Márcio Eduardo Delamaro, W. Eric Wong. 329-337
- A New Approach for Distributing Estelle SpecificationsE. Lallet, S. Fischer, J.-F. Verdier. 339-348
- Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri NetsGuy Juanole, Laurent Gallon. 351-366
- Testing Semantics for Probabilistic LOTOSManuel Núñez, David de Frutos-Escrig. 367-382
- Real-time LOTOS and Timed ObservationsJim Davies, Jeremy Bryans, Steve Schneider. 383-397
- Assertional Verification of a Connection Management ProtocolAndrás L. Oláh, Sonia M. Heemstra de Groot. 401-416
- Sharing Trees for on-the-fly VerificationFrançois Gagnon, Jean-Charles Grégoire, D. Zampuniéris. 417-432
- Verification of Liveness Property for Communicating FSM s with Conditional Transitions Depending on State Visiting NumbersTeruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi. 433-440
- A New Approach for Protocols Performance Evaluation Using Estelle SpecificationsM. Hendaz, Stanislaw Budkowski. 441-448