IWSSD 2000:
Shelter Island,
San Diego,
California,
USA
Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000.
IEEE Computer Society 2000, ISBN 0-7695-0884-7 BibTeX
- Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.
3-10
Electronic Edition (link) BibTeX
- Martin Glinz:
Problems and Deficiencies of UML as a Requirements Specification Language.
11-22
Electronic Edition (link) BibTeX
- David Garlan, Serge Khersonsky:
Model Checking Implicit-Invocation Systems.
23-30
Electronic Edition (link) BibTeX
- Mauro Cioffi, Flavio Corradini:
Specification and Analysis of Timed and Functional TRMCS Behaviours.
31-38
Electronic Edition (link) BibTeX
- Laura A. Campbell, Betty H. C. Cheng:
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.
39-50
Electronic Edition (link) BibTeX
- Víctor A. Braberman, Fabio Pieniazek:
Duration Properties over Real Time System Designs.
51-62
Electronic Edition (link) BibTeX
- Jing Liu, Jin Song Dong, Jing Sun:
TRMCS in TCOZ.
63-74
Electronic Edition (link) BibTeX
- Roel Wieringa:
The Declarative Problem Frame: Designing Systems that Create and Use Norms.
75-86
Electronic Edition (link) BibTeX
- Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
Superposing Connectors.
87-94
Electronic Edition (link) BibTeX
- Giovanni Bricconi, Emma Tracanella, Elisabetta Di Nitto:
Issues in Analyzing the Behavior of Event Dispatching Systems.
95-104
Electronic Edition (link) BibTeX
- Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper:
Design and Development Assessment.
105-114
Electronic Edition (link) BibTeX
- Xavier Burgués Illa, Xavier Franch, Joan Antoni Pastor:
Formalising ERP Selection Criteria.
115-122
Electronic Edition (link) BibTeX
- Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger:
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models.
123-132
Electronic Edition (link) BibTeX
- Marcio S. Dias, Marlon E. R. Vieira:
Software Architecture Analysis Based on Statechart Semantics.
133-140
Electronic Edition (link) BibTeX
- Andrea Zisman, Wolfgang Emmerich, Anthony Finkelstein:
Using XML to Build Consistency Rules for Distributed Specifications.
141-148
Electronic Edition (link) BibTeX
- Claudia Pons, Roxana S. Giandini, Gabriel Baum:
Dependency Relations between Models in the Unified Process.
149-158
Electronic Edition (link) BibTeX
- Orna Raz, Mary Shaw:
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions.
159-170
Electronic Edition (link) BibTeX
- Aditya K. Ghose:
Formal Tools for Managing Inconsistency and Change in RE.
171-182
Electronic Edition (link) BibTeX
- Tim Menzies:
The Complexity of TRMCS-like Spiral Specification.
183-190
Electronic Edition (link) BibTeX
- Daniel M. Berry, Erik Kamsties:
The Dangerous 'All' in Specifications.
191-194
Electronic Edition (link) BibTeX
- Aaron G. Cass, Leon J. Osterweil:
Design Guidance through the Controlled Application of Constraints.
195-
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:27:30 2009
by Michael Ley (ley@uni-trier.de)