IWSSD 1993: Redondo Beach, CA, USA

Opening Address

• T. S. E. Maibaum: Taking More of the Soft out of Software Engineering. 2-9

Experience Papers

• Fuyau Lin: Design and Validation of a Message-Passing System. 10-19
• H. Conrad Cunningham, Yinxiu Cai: Specification and Refinement of a Message Router. 20-29
• R. Das, Alan Fekete: Modular Reasoning About Open Systems: A Case Study of Distributed Commit. 30-39

Position Papers

• Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer: Fine-Grain Process Modelling. 42-46
• Dilip Soni, Robert L. Nord, Liang H. Hsu: An Empirical Approach to Software Architectures. 47-51
• Alistair G. Sutcliffe, Neil A. M. Maiden: Bridging the Requirements Gap: Policies, Goals, and Domains. 52-55
• Ugo A. Buy, Robert H. Sloan: A Petri-Net -Based Approach to Real-Time Program Analysis. 56-61

Requirements Engineering

• Colin Potts, Kenji Takahashi: An Active Hypertext Model for System Requirements. 62-68
• Carlo Ghezzi, Mauro Pezzè: Towards Extensible Graphical Formalisms. 69-77
• Oscar Barros: Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. 78-89

Real-Time Systems

• Shiyuan Ding, Takuya Katayama: Specifying Reactive Systems with Attributed Finite State Machines. 90-99
• James C. Corbett: Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. 100-109
• Carlo Bellettini, Miguel Felder, Mauro Pezzè: Merlot: A Tool for Analysis of Real-Time Specifications. 110-121

Concurrency and Distribution

• Egidio Astesiano, Gianna Reggio: Specifying Reactive Systems by Abstract Events. 122-131
• Kenneth R. Wood: A Pragmatic Basis for the Formal Development of Distributed Systems. 132-140
• Kuo-Chung Tai, Pramod V. Koppol: An Incremental Approach to Reachability Analysis of Distributed Programs. 141-151

Formal Reasoning

• P. Wolff: Related Specifications Reuse. 152-161
• David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. 162-171
• Yamine Aït Ameur: Predicting Operational Behaviour of Abstract Programs During Formal Developments. 172-183

Design Methods and Software Architectures

• Joanne L. Boyd, Gerald M. Karam: Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. 184-193
• Alice Faulstich-Brady: A Taxonomy of Inheritance Semantics. 194-203
• Motoshi Saeki, Takeshi Hiroi, Takanori Ugai: Reflective Specification: Applying A Reflective Language to Formal Specification. 204-213
• David A. Marca, Clement L. McGowan: Specifications Approaches Express Different World Hypotheses. 214-223