The Community for Technology Leaders
Software Specification and Design, International Workshop on (1996)
Paderborn, GERMANY
Mar. 22, 1996 to Mar. 23, 1996
ISSN: 1063-6765
ISBN: 0-8186-7361-3
TABLE OF CONTENTS
Case Study

A comedy of errors: the London Ambulance Service case study (Abstract)

A. Finkelstein , Sch. of Inf., City Univ., London, UK
J. Dowell , Sch. of Inf., City Univ., London, UK
pp. 2
Full Papers

A Survey of Architecture Description Languages (Abstract)

Paul C. Clements , Carnegie Mellon University clements@sei.cmu.edu
pp. 16

Tool Specification with GTSL (Abstract)

Wolfgang Emmerich , City University London Northampton Square, London EC1V 0HB, United Kingdom
pp. 26

ACME/PRIME: Requirements Acquisition for Process-Driven Systems (Abstract)

Robert Walford , GTE Telephone Operations
Howard Reubenstein , GTE Laboratories Incorporated
Mark Feblowitz , GTE Laboratories Incorporated
Sol Greenspan , GTE Laboratories Incorporated
pp. 36

A Mathematical Toolbox for the Software Architec (Abstract)

J.L. Fiadeiro , U. Lisbon http://www.di.fc.ul.pt/~llf
T. Maibaum , Imperial College
pp. 46

Towards a formal specification method for graphical user interfaces using modularized graph grammars (Abstract)

M. Goedicke , Dept. of Math. & Comput. Sci., Essen Univ., Germany
B.E. Sucrow , Dept. of Math. & Comput. Sci., Essen Univ., Germany
pp. 56

Relating CHAM Descriptions of Software Architectures (Abstract)

Paola Inverardi , Dip. di Matematica Pura ed Applicata Universita' di L'Aquila, L'Aquila, Italy, I-67010
Daniel Yankelevich , Dep. de Computacion Universidad de Buenos Aires
pp. 66

Specification and Verification of Real-Time Properties Using LOTOS and SQTL (Abstract)

A. Lakas , Lancaster University http://www.comp.lancs.ac.uk/computing/staff/lakas.html
A. Chetwynd , Lancaster University http://www.comp.lancs.ac.uk/computing/staff/lakas.html
G. S. Gordon , Lancaster University http://www.comp.lancs.ac.uk/computing/staff/lakas.html
pp. 75

Formalizing System Structure (Abstract)

Susan Eisenbach , mr3@doc.ic.ac.uk
Matthias Radestock , mr3@doc.ic.ac.uk
pp. 95

A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications (Abstract)

Joaö Pereira , INESC - Rua Alves Redol Rito.Silva@inesc.pt
Antońio Rito Silva , INESC - Rua Alves Redol Rito.Silva@inesc.pt
Pedro Sousa , INESC - Rua Alves Redol Rito.Silva@inesc.pt
pp. 105

Visual Presentation of Software Specifications and Designs (Abstract)

Gruia-Catalin Roman , Department of Computer Science Washington University, St Louis, MO 63130 roman@cs.wustl.edu
Delbert Hart , Department of Computer Science Washington University, St Louis, MO 63130 roman@cs.wustl.edu
Charles Calkins , Department of Computer Science Washington University, St Louis, MO 63130 roman@cs.wustl.edu
pp. 115
Position Papers

Learning from Inconsistency (Abstract)

Steve Easterbrook , NASA/WVU Software Research Lab steve@atlantis.ivv.nasa.gov
pp. 136

Software Package Requirements and Procurement (Abstract)

George Spanoudakis , Department of Computer Science City University, UK {acwf, gespan@cs.city.ac.uk}
Mark Ryan , School of Computer Science University of Birmingham, UK {m.d.ryan@cs.bham.ac.uk}
Anthony Finkelstein , Department of Computer Science City University, UK {acwf, gespan@cs.city.ac.uk}
pp. 141

Supporting the Selection of Software Requirements (Abstract)

Kevin Ryan , joachim@softlab.se ryank@ul.ie
Joachim Karlsson , joachim@softlab.se ryank@ul.ie
pp. 146

Concern-driven design for a specification language supporting component-based software engineerin (Abstract)

J.Q. Ning , Center for Strategic Technol. Res., Northbrook, IL, USA
W.V. Kozaczynski , Center for Strategic Technol. Res., Northbrook, IL, USA
pp. 150

A "Coming and Going" Approach to Specification Construction: A Scenario (Abstract)

N. Levy , CRIN-CNRS BP. 239, 54506 Vandoeuvre-les-Nancy Cedex, France E-mail: {nlevy, souquier}@loria.fr
J. Souquieres , CRIN-CNRS BP. 239, 54506 Vandoeuvre-les-Nancy Cedex, France E-mail: {nlevy, souquier}@loria.fr
pp. 155

A computational mechanism for parallel problem decomposition during requirements engineering (Abstract)

N.A.M. Maiden , Centre for Human-Comput. Interface Design, City Univ., London, UK
A.G. Sutcliffe , Centre for Human-Comput. Interface Design, City Univ., London, UK
pp. 159

To Be and Not to Be: On Managing Inconsistency in Software Development (Abstract)

Bashar Nuseibeh , Department of Computing, Imperial College Email: ban@doc.ic.ac.uk
pp. 164

Assuring Accuracy and Impartiality in Software Design Methodology Comparison (PDF)

Leon J. Osterweil , Siemens Corporate Research Center University of Massachusetts
Xiping Song , Siemens Corporate Research Center University of Massachusetts
pp. 170

Design Decision Trees (Abstract)

Alexander Ran , Nokia Research Center, Software Technology Laboratory [alexander.ran|juha.kuusela]@research.nokia.com
Juha Kuusela , Nokia Research Center, Software Technology Laboratory [alexander.ran|juha.kuusela]@research.nokia.com
pp. 172

Industrial software architecture with Gestalt (Abstract)

T. Werthmann-Auzinger , Siemens Corp. Res. Inc., Princeton, NJ, USA
V.A. Strack , Siemens Corp. Res. Inc., Princeton, NJ, USA
R.W. Schwanke , Siemens Corp. Res. Inc., Princeton, NJ, USA
pp. 176

Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does (Abstract)

Mary Shaw , Computer Science Department Carnegie Mellon University
pp. 181

PDP: Programming A Programmable Design Process (Abstract)

Stanley M. Sutton Jr , Department of Computer Science University of Massachusetts
Leon J. Osterweil , Department of Computer Science University of Massachusetts
pp. 186

Author Index (PDF)

pp. 191
109 ms
(Ver )