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