The Community for Technology Leaders
Software Specification and Design, International Workshop on (2000)
San Diego, California
Nov. 5, 2000 to Nov. 7, 2000
ISBN: 0-7695-0884-7

Case Study (PDF)

pp. xi
Track I: Reactive and Real-Time Systems

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

Bashar Nuseibeh , Imperial College
Jeff Magee , Imperial College
Jeff Kramer , Imperial College
Julia Sonander , National Air Traffic Services Ltd
David Bush , National Air Traffic Services Ltd
pp. 3

Model Checking Implicit-Invocation Systems (Abstract)

Serge Khersonsky , Carnegie Mellon University
David Garlan , Carnegie Mellon University
pp. 23

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

Flavio Corradini , Universit? degli Studi di L'Aquila
Mauro Cioffi , Universit? degli Studi di L'Aquila
pp. 31

Duration Properties over Real Time System Designs (Abstract)

Fabio Pieniazek , Universidad de Buenos Aires
Victor Braberman , Universidad de Buenos Aires
pp. 51

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
Track II: Quantitative and Non-Functional Qualities

Superposing Connectors (Abstract)

Michel Wermelinger , Universidade Nova de Lisboa
Antónia Lopes , Universidade de Lisboa
José Luiz Fiadeiro , King's College London
pp. 87

Design and Development Assessment (Abstract)

James D. Kiper , Miami University
John C. Kelly , California Institute of Technology
Steven L. Cornford , California Institute of Technology
Burton Sigal , California Institute of Technology
Martin S. Feather , California Institute of Technology
Timothy W. Larson , California Institute of Technology
pp. 105

Formalising ERP Selection Criteria (Abstract)

Xavier Franch , Universitat Polit?cnica Catalunya
Joan Antoni Pastor , Universitat Polit?cnica Catalunya
Xavier Burgués Illa , Universitat Polit?cnica Catalunya
pp. 115

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

Matthias Benzinger , University of Erlangen
Stefan Grenier , University of Erlangen
Frederick T. Sheldon , Washington State University
pp. 123

Software Architecture Analysis Based on Statechart Semantics (Abstract)

Marlon E.R. Vieira , University of California at Irvine
Marcio S. Dias , University of California at Irvine
pp. 133
Track II: [In]completeness, [In]consistency and [Sufficient] Correctness

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

Wolfgang Emmerich , University College London
Anthony Finkelstein , University College London
Andrea Zisman , City University
pp. 141

Dependency Relations between Models in the Unified Process (Abstract)

Roxana Giandini , Universidad Nacional de La Plata
Gabriel Baum , Universidad Nacional de La Plata
Claudia Pons , Universidad Nacional de La Plata
pp. 149

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

Orna Raz , Carnegie Mellon University
Mary Shaw , Carnegie Mellon University
pp. 159

The Complexity of TRMCS-like Spiral Specification (Abstract)

Tim Menzies , University of British Columbia
pp. 183

The Dangerous 'All' in Specifications (Abstract)

Daniel M. Berry , University of Waterloo
Erik Kamsties , Fraunhofer Institute for Experimental Software Engineering
pp. 191

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

Author Index (PDF)

pp. 201
99 ms
(Ver 3.1 (10032016))