Hybrid model visualization in requirements and design: a
preliminary investigation
Magee, J.; Kramer, J.; Nuseibeh, B.; Bush, D.; Sonander, J.
Page(s): 3-9
Digital Object Identifier 10.1109/IWSSD.2000.891121 Abstract
| Full Text: PDF (548 KB)
Rights and Permissions
Problems and deficiencies of UML as a requirements specification
language
Garlan, D.; Khersonsky, S.
Page(s): 23-30
Digital Object Identifier 10.1109/IWSSD.2000.891123 Abstract
| Full Text: PDF (476 KB)
Rights and Permissions
Specification and analysis of timed and functional TRMCS behaviours
Cioffi, M.; Corradini, F.
Page(s): 31-37
Digital Object Identifier 10.1109/IWSSD.2000.891124 Abstract
| Full Text: PDF (548 KB)
Rights and Permissions
Object-oriented modeling and automated analysis of a telemedicine
application
Campbell, L.A.; Cheng, B.H.C.
Page(s): 39-49
Digital Object Identifier 10.1109/IWSSD.2000.891125 Abstract
| Full Text: PDF (760 KB)
Rights and Permissions
Duration properties over real time system designs
Braberman, V.; Pieniazek, F.
Page(s): 51-61
Digital Object Identifier 10.1109/IWSSD.2000.891126 Abstract
| Full Text: PDF (764 KB)
Rights and Permissions
TRMCS in TCOZ [formal specification]
Jing Liu; Jin Song Dong; Jing Sun
Page(s): 63-72
Digital Object Identifier 10.1109/IWSSD.2000.891127 Abstract
| Full Text: PDF (584 KB)
Rights and Permissions
The declarative problem frame: designing systems that create and
use norms
Wieringa, R.J.
Page(s): 75-85
Digital Object Identifier 10.1109/IWSSD.2000.891128 Abstract
| Full Text: PDF (912 KB)
Rights and Permissions
Superposing connectors
Wermelinger, M.; Lopes, A.; Fiadeiro, J.L.
Page(s): 87-94
Digital Object Identifier 10.1109/IWSSD.2000.891129 Abstract
| Full Text: PDF (668 KB)
Rights and Permissions
Issues in analyzing the behavior of event dispatching systems
Bricconi, G.; Di Nitto, E.; Tracanella, E.
Page(s): 95-103
Digital Object Identifier 10.1109/IWSSD.2000.891130 Abstract
| Full Text: PDF (676 KB)
Rights and Permissions
Design and development assessment
Cornford, S.L.; Feather, M.S.; Kelly, J.C.; Larson, T.W.; Sigal, B.; Kiper, J.D.
Page(s): 105-114
Digital Object Identifier 10.1109/IWSSD.2000.891131 Abstract
| Full Text: PDF (1040 KB)
Rights and Permissions
Formalising ERP selection criteria
Illa, X.B.; Franch, X.; Pastor, J.A.
Page(s): 115-122
Digital Object Identifier 10.1109/IWSSD.2000.891132 Abstract
| Full Text: PDF (612 KB)
Rights and Permissions
Specification, safety and reliability analysis using stochastic
Petri net models
Sheldon, F.T.; Greiner, S.; Benzinger, M.
Page(s): 123-132
Digital Object Identifier 10.1109/IWSSD.2000.891133 Abstract
| Full Text: PDF (848 KB)
Rights and Permissions
Software architecture analysis based on statechart semantics
Dias, M.S.; Vieira, M.E.R.
Page(s): 133-137
Digital Object Identifier 10.1109/IWSSD.2000.891134 Abstract
| Full Text: PDF (464 KB)
Rights and Permissions
Using XML to build consistency rules for distributed specifications
Zisman, A.; Emmerich, W.; Finkelstein, A.
Page(s): 141-148
Digital Object Identifier 10.1109/IWSSD.2000.891135 Abstract
| Full Text: PDF (676 KB)
Rights and Permissions
Dependency relations between models in the Unified Process
Pons, C.; Giandini, R.; Baum, G.
Page(s): 149-157
Digital Object Identifier 10.1109/IWSSD.2000.891136 Abstract
| Full Text: PDF (592 KB)
Rights and Permissions
An approach to preserving sufficient correctness in open resource
coalitions
Raz, O.; Shaw, M.
Page(s): 159-170
Digital Object Identifier 10.1109/IWSSD.2000.891137 Abstract
| Full Text: PDF (1156 KB)
Rights and Permissions
Formal tools for managing inconsistency and change in RE
Ghose, A.K.
Page(s): 171-181
Digital Object Identifier 10.1109/IWSSD.2000.891138 Abstract
| Full Text: PDF (964 KB)
Rights and Permissions
The dangerous “All” in specifications
Berry, D.M.; Kamsties, E.
Page(s): 191-193
Digital Object Identifier 10.1109/IWSSD.2000.891140 Abstract
| Full Text: PDF (196 KB)
Rights and Permissions
Design guidance through the controlled application of constraints
Cass, A.G.; Osterweil, L.J.
Page(s): 195-199
Digital Object Identifier 10.1109/IWSSD.2000.891141 Abstract
| Full Text: PDF (420 KB)
Rights and Permissions
Cart
