The Community for Technology Leaders
RSS Icon
Subscribe
Software Specification and Design, International Workshop on (2000)
San Diego, California
Nov. 5, 2000 to Nov. 7, 2000
ISBN: 0-7695-0884-7
TABLE OF CONTENTS
Case Study (PDF)
pp. xi
Track I: Reactive and Real-Time Systems
Jeff Kramer , Imperial College
Bashar Nuseibeh , Imperial College
David Bush , National Air Traffic Services Ltd
Julia Sonander , National Air Traffic Services Ltd
pp. 3
David Garlan , Carnegie Mellon University
pp. 23
Mauro Cioffi , Universit? degli Studi di L'Aquila
pp. 31
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
Michel Wermelinger , Universidade Nova de Lisboa
Antónia Lopes , Universidade de Lisboa
José Luiz Fiadeiro , King's College London
pp. 87
Martin S. Feather , California Institute of Technology
Steven L. Cornford , California Institute of Technology
Timothy W. Larson , California Institute of Technology
Burton Sigal , California Institute of Technology
James D. Kiper , Miami University
pp. 105
Xavier Franch , Universitat Polit?cnica Catalunya
Xavier Burgués Illa , Universitat Polit?cnica Catalunya
pp. 115
Stefan Grenier , University of Erlangen
Frederick T. Sheldon , Washington State University
pp. 123
Marcio S. Dias , University of California at Irvine
pp. 133
Track II: [In]completeness, [In]consistency and [Sufficient] Correctness
Wolfgang Emmerich , University College London
Andrea Zisman , City University
pp. 141
Roxana Giandini , Universidad Nacional de La Plata
Claudia Pons , Universidad Nacional de La Plata
pp. 149
Orna Raz , Carnegie Mellon University
Mary Shaw , Carnegie Mellon University
pp. 159
Aditya K. Ghose , University of Wollongong
pp. 171
Tim Menzies , University of British Columbia
pp. 183
Daniel M. Berry , University of Waterloo
Erik Kamsties , Fraunhofer Institute for Experimental Software Engineering
pp. 191
Aaron G. Cass , University of Massachusetts at Amherst
Leon J. Osterweil , University of Massachusetts at Amherst
pp. 195
Author Index (PDF)
pp. 201
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool