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

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

Last update Fri May 25 08:24:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page