IWSSD

Keyphrases

Publications

2000

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

1998

1996