default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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
- 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 J. 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-200
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
