IWSSD 1993: Redondo Beach, CA, USA

Jack C. Wileden (Ed.): Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. IEEE Computer Society 1993 BibTeX

Opening Address

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

Experience Papers

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

Position Papers

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

Requirements Engineering

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

Real-Time Systems

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

Concurrency and Distribution

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

Formal Reasoning

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

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 BibTeX
Alice Faulstich-Brady: A Taxonomy of Inheritance Semantics. 194-203 BibTeX
Motoshi Saeki, Takeshi Hiroi, Takanori Ugai: Reflective Specification: Applying A Reflective Language to Formal Specification. 204-213 BibTeX
David A. Marca, Clement L. McGowan: Specifications Approaches Express Different World Hypotheses. 214-223 BibTeX