Conferences in DBLP

International Workshop on Software Specification and Design (IWSSD) (iwssd)
2000 (conf/iwssd/2000)

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