Abstract is missing.
- Taking More of the Soft out of Software EngineeringT. S. E. Maibaum. 2-9
- Design and Validation of a Message-Passing SystemFuyau Lin. 10-19
- Specification and Refinement of a Message RouterH. Conrad Cunningham, Yinxiu Cai. 20-29
- Modular Reasoning About Open Systems: A Case Study of Distributed CommitR. Das, Alan Fekete. 30-39
- Fine-Grain Process ModellingBashar Nuseibeh, Anthony Finkelstein, Jeff Kramer. 42-46
- An Empirical Approach to Software ArchitecturesDilip Soni, Robert L. Nord, Liang H. Hsu. 47-51
- Bridging the Requirements Gap: Policies, Goals, and DomainsAlistair G. Sutcliffe, Neil A. M. Maiden. 52-55
- A Petri-Net -Based Approach to Real-Time Program AnalysisUgo A. Buy, Robert H. Sloan. 56-61
- An Active Hypertext Model for System RequirementsColin Potts, Kenji Takahashi. 62-68
- Towards Extensible Graphical FormalismsCarlo Ghezzi, Mauro Pezzè. 69-77
- Requirements Elicitation and Formalization Through External Design and Object-Oriented SpecificationOscar Barros. 78-89
- Specifying Reactive Systems with Attributed Finite State MachinesShiyuan Ding, Takuya Katayama. 90-99
- Identical Tasks and Counter Variables in an Integer Programming-Based Approach to VerificationJames C. Corbett. 100-109
- Merlot: A Tool for Analysis of Real-Time SpecificationsCarlo Bellettini, Miguel Felder, Mauro Pezzè. 110-121
- Specifying Reactive Systems by Abstract EventsEgidio Astesiano, Gianna Reggio. 122-131
- A Pragmatic Basis for the Formal Development of Distributed SystemsKenneth R. Wood. 132-140
- An Incremental Approach to Reachability Analysis of Distributed ProgramsKuo-Chung Tai, Pramod V. Koppol. 141-151
- Related Specifications ReuseP. Wolff. 152-161
- A Framework for Program Development Based on Schematic ProofDavid A. Basin, Alan Bundy, Ina Kraan, Seán Matthews. 162-171
- Predicting Operational Behaviour of Abstract Programs During Formal DevelopmentsYamine Aït Ameur. 172-183
- Using Design Fragments to Modularize the Design of Communications in Concurrent SystemsJoanne L. Boyd, Gerald M. Karam. 184-193
- A Taxonomy of Inheritance SemanticsAlice Faulstich-Brady. 194-203
- Reflective Specification: Applying A Reflective Language to Formal SpecificationMotoshi Saeki, Takeshi Hiroi, Takanori Ugai. 204-213
- Specifications Approaches Express Different World HypothesesDavid A. Marca, Clement L. McGowan. 214-223