Abstract is missing.
- Whither Formal Methods: A Plea to Investigate New ApplicationsC. Jones. 5
- Towards a Rigorous Object-Oriented Analysis and Design MethodRobert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena. 7-16
- Hybrid Object-Oriented Real-Time Software Development with VDM:::++:::Jan van Katwijk, Eugène Dürr, S. J. Goldsack. 17
- Towards a Formal Semantics for an Integrated SA/RT & Z Specification LanguageDirk Scholz, Carsta Petersohn. 28-37
- A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling NotationsDaniel M. Berry, M. Weber. 38
- Formal Automatic Verification of Authentication Crytographic ProtocolsMourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi. 50-59
- Incremental Specification of Telecommunication ServicesBruno Mermet, Dominique Méry. 60-69
- Generic Engineering of Communication Protocols - Current Experience and Future IssuesBirgit Geppert, Frank Rößler. 70
- Test Case Design Based on Z and the Classification-Tree MethodHarbhajan Singh, Mirko Conrad, Sadegh Sadeghipour. 81-90
- A Formal Approach to Testing LUSTRE SpecificationsIoannis Parissis. 91-100
- CASTING: A Formally Based Software Test Generation MethodLionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer. 101
- Formally Specifying and Verifying Real-Time SystemsRichard A. Kemmerer. 112
- Using CARE to Construct Verified SoftwarePeter A. Lindsay, David Hemer. 122-131
- A Simple Program whose Derivation and Proof is AlsoJinyun Xue, Ruth Davis. 132-139
- Systematic Formal Verification of InterpretersDavid Cyrluk, John M. Rushby, Mandayam K. Srivas. 140
- The Specification-Based Testing of a Trusted Kernel: MK++Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith. 151-160
- Formalizing Process Scheduling Requirements for an Aircraft Operational Flight ProgramJin Song Dong, Neale Fulton, Lin Zucconi, John Colton. 161
- An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over NetworksKokichi Futatsugi, Ataru T. Nakagawa. 170
- A Methodological Approach to the Requirement Specification of Embedded SystemsF. Lattemann, Egbert Lehmann. 183-191
- Specification and Analysis of System Level Inter-Component CommunicationMats Per Erik Heimdahl, Jeffrey M. Thompson. 192
- Refinement of Information Flow ArchitecturesJan Philipps, Bernhard Rumpe. 203-212
- Frameworks in Catalysis: Pictorial Notation and Formal SemanticsKung-Kiu Lau, Mario Ornaghi, Alan Wills. 213
- Development and Application of a Formal Agent FrameworkMark d Inverno, Michael Luck. 222-231
- Formal Specification and Verification of the MISSI Sender and Local Cache using SPINMilica Barjaktarovic. 232
- Automatic Generation of Formal Specification from Requirements DefinitionLingzi Jin, Hong Zhu. 243-251
- A Generic Approach to the Formal Specification of RequirementsChristian Peper, Reinhard Gotzhein, Martin Kronenburg. 252
- Michael Jackson s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and ToolsDines Bjørner, S. Koussoube, R. Noussi, G. Satchok. 263
- An Operational Semantics for ZCCSAndy Galloway, Bill Stoddart. 272
- The State-Based CCS Semantics for Concurrent Z SpecificationKenji Taguchi, Keijiro Araki. 283-292
- Refinement and Verification of Concurrent Systems Specified in Object-Z and CSPGraeme Smith, John Derrick. 293
- Formal Specification of Dynamic Constraints with the B MethodHenri Habrias, B. Griech. 304-314
- Software Measurement and Formal Methods: A Case Study Centered on TRIO+ SpecificationsLionel C. Briand, Sandro Morasca. 315