IWSSD 2000: Shelter Island, San Diego, California, USA

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