Message from the IWSSD Chairs

10th IWSSD Organizing Committee (PDF)

pp. ix

Case Study (PDF)

pp. xi

Track I: Reactive and Real-Time Systems

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation (Abstract)

Jeff Magee, Imperial College

Jeff Kramer, Imperial College

Bashar Nuseibeh, Imperial College

David Bush, National Air Traffic Services Ltd

Julia Sonander, National Air Traffic Services Ltd

pp. 3

PDF

Problems and Deficiencies of UML as a Requirements Specification Language (Abstract)

Martin Glinz, Universit?t Z?

pp. 11

PDF

Model Checking Implicit-Invocation Systems (Abstract)

David Garlan, Carnegie Mellon University

Serge Khersonsky, Carnegie Mellon University

pp. 23

PDF

Specification and Analysis of Timed and Functional TRMCS Behaviours (Abstract)

Mauro Cioffi, Universit? degli Studi di L'Aquila

Flavio Corradini, Universit? degli Studi di L'Aquila

pp. 31

PDF

Object-Oriented Modeling and Automated Analysis of a Telemedicine Application (Abstract)

Laura A. Campbell y, Michigan State University

Betty H.C. Cheng, Michigan State University

pp. 39

PDF

Duration Properties over Real Time System Designs (Abstract)

Victor Braberman, Universidad de Buenos Aires

Fabio Pieniazek, Universidad de Buenos Aires

pp. 51

PDF

TRMCS in TCOZ (Abstract)

Jing Liu, National University of Singapore

Jin Song Dong, National University of Singapore

Jing Sun, National University of Singapore

pp. 63

PDF

Track II: Quantitative and Non-Functional Qualities

The Declarative Problem Frame: Designing Systems that Create and Use Norms (Abstract)

Roel J. Wieringa, University of Twente

pp. 75

PDF

Superposing Connectors (Abstract)

Michel Wermelinger, Universidade Nova de Lisboa

Antónia Lopes, Universidade de Lisboa

José Luiz Fiadeiro, King's College London

pp. 87

PDF

Issues in Analyzing the Behavior of Event Dispatching Systems (Abstract)

Giovanni Bricconi, CEFRIEL

Emma Tracanella, CEFRIEL

Elisabetta Di Nitto, Politecnico di Milano

pp. 95

PDF

Design and Development Assessment (Abstract)

Steven L. Cornford, California Institute of Technology

Martin S. Feather, California Institute of Technology

John C. Kelly, California Institute of Technology

Timothy W. Larson, California Institute of Technology

Burton Sigal, California Institute of Technology

James D. Kiper, Miami University

pp. 105

PDF

Formalising ERP Selection Criteria (Abstract)

Xavier Burgués Illa, Universitat Polit?cnica Catalunya

Xavier Franch, Universitat Polit?cnica Catalunya

Joan Antoni Pastor, Universitat Polit?cnica Catalunya

pp. 115

PDF

Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models (Abstract)

Frederick T. Sheldon, Washington State University

Stefan Grenier, University of Erlangen

Matthias Benzinger, University of Erlangen

pp. 123

PDF

Software Architecture Analysis Based on Statechart Semantics (Abstract)

Marcio S. Dias, University of California at Irvine

Marlon E.R. Vieira, University of California at Irvine

pp. 133

PDF

Track II: [In]completeness, [In]consistency and [Sufficient] Correctness

Using XML to Build Consistency Rules for Distributed Specifications (Abstract)

Andrea Zisman, City University

Wolfgang Emmerich, University College London

Anthony Finkelstein, University College London

pp. 141

PDF

Dependency Relations between Models in the Unified Process (Abstract)

Claudia Pons, Universidad Nacional de La Plata

Roxana Giandini, Universidad Nacional de La Plata

Gabriel Baum, Universidad Nacional de La Plata

pp. 149

PDF

An Approach to Preserving Sufficient Correctness in Open Resource Coalitions (Abstract)

Orna Raz, Carnegie Mellon University

Mary Shaw, Carnegie Mellon University

pp. 159

PDF

Formal Tools for Managing Inconsistency and Change in RE (Abstract)

Aditya K. Ghose, University of Wollongong

pp. 171

PDF

The Complexity of TRMCS-like Spiral Specification (Abstract)

Tim Menzies, University of British Columbia

pp. 183

PDF

The Dangerous 'All' in Specifications (Abstract)

Daniel M. Berry, University of Waterloo

Erik Kamsties, Fraunhofer Institute for Experimental Software Engineering

pp. 191

PDF

Design Guidance through the Controlled Application of Constraints (Abstract)

Aaron G. Cass, University of Massachusetts at Amherst

Leon J. Osterweil, University of Massachusetts at Amherst

pp. 195

PDF

Author Index (PDF)

pp. 201