• I
  • IWSSD
  • 2000
  • Tenth International Workshop on Software Specification and Design (IWSSD'00)
Advanced Search 
Tenth International Workshop on Software Specification and Design (IWSSD'00)
San Diego, California
November 05-November 07
ISBN: 0-7695-0884-7
Table of Contents
Track I: Reactive and Real-Time Systems
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
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
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
Xavier Burgués Illa, Universitat Polit?cnica Catalunya
Xavier Franch, Universitat Polit?cnica Catalunya
Joan Antoni Pastor, Universitat Polit?cnica Catalunya
pp. 115
Track II: [In]completeness, [In]consistency and [Sufficient] Correctness
Claudia Pons, Universidad Nacional de La Plata
Roxana Giandini, Universidad Nacional de La Plata
Gabriel Baum, Universidad Nacional de La Plata
pp. 149
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
Usage of this product signifies your acceptance of the Terms of Use.