1 |
L. Ol'khovich and D. V. Koznov, 'OCL-Based Automated Validation Method for UML Specifications,' Programming and Computer Science, pp. 323-327, 2003
DOI
|
2 |
B. Hnatkowska and A. Walkowiak, 'Consistency Checking of USDP Models,' Workshop on Con-sistency Problems in UML-based Software Development, Oct. 2004
|
3 |
L. Kuzniarz, G. Reggio, J. Sourrouille, and Z. Huzar, Workshop on Consistency Problems in UML-based Software Development, UML 2002, 2002
|
4 |
B. Hnatkowska, Z. Huzar, J. Kuzniarz, and L. Tuzinkiewics, 'A Systematic Approach to Consis-tency Within UML based Software Development Process,' Workshop on Consistency Problems in UML-based Software Development, Oct. 2002
|
5 |
P. Ziemann and M. Gogolla, 'Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study,' Proc. 8th Int. Workshop on Formal Methods for Industrial Critical Systems, 2003
DOI
ScienceOn
|
6 |
M. Richters and M. Gogolla, 'Validating UML Models and OCL Constraints,' Proc. 3rd Int. Conf. Unified Modeling Language, pp. 265-277, 2000
|
7 |
M. Gogolla, John and M. Richters, 'Validation of UML and OCL Models by Automatic Snapshot Generation,' Proc. 6th Conf. Unified Modeling Language, pp. 265-279, 2002
|
8 |
A. Schleicher and B. Westfechtel, 'Beyond Stereotyping: Metamodeling Approaches for the UML,' Proc. of 34th Hawaii Int. Conf. on System Sciences, 2001
|
9 |
T. Ziadi, B. Traverson and J-M. Jezequel, 'From a UML Platform Independent Component Model to Platform Specific Component Models,' Workshop in Software Model Engineering, 2002
|
10 |
P. Selonen and J. Xu, 'Validating UML Models Against Architecture Profiles,' ESEC/FSE '03, pp. 58-67, 2003
DOI
|
11 |
M. Gogolla and B. Henderson-Sellers, 'Analysis of UML Stereotypes within the UML Metamodel,' Proc. 5th Conf. Unified Modeling Language, pp. 84-99, 2002
|
12 |
M. Gogolla, 'Using OCL for Defining Precise, Domain-Specific UML Stereotypes,' Proc. 6th Australian Workshop on Requirement Engineering, 2001
|
13 |
Jim Arlow and Ila Neustadt, UML and the Unified Process: Practical Object-Oriented Analysis & Design, Addison-Wesley, 2002
|
14 |
D. Rosenberg and K. Scott, Applying Use Case Driven Object Modeling with UML: An Annotated E-Commerce Example, Addison-Wesley, 2001
|
15 |
OMG. UML 1.4 Specification. OMG Document formal/04-07-02, 2002
|
16 |
J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998
|
17 |
OMG. MDA Guide Version 1.0.1. OMG Document formal/03-06-01, 2003
|
18 |
I. Jacobson, et al, The Unified Software Development Process, Addison-Wesley, 1999
|
19 |
OCL Evaluator http://lci.cs.ubbcluj.ro/ocle
|
20 |
I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992
|
21 |
I. Kuzniarz, G. Reggio, J. Sourrouille, Z. Huzar, and M. Staron, Workshop on Consistency Problems in UML-based Software Development II, UML 2003, 2003
|
22 |
M. Benattou, J-M. Brnel, and N. Hameurlain, 'Generating Test Data from OCL Specification,' Workshop on Integration and Transformation of UML Models, 2002
|
23 |
M. Elaasar and L. Briand, 'An Overview of UML Consistency Management,' Technical Report SCE-04-18, Dept. of Systems and Computer Engineering, Carleton University, Canada
|
24 |
Z. Huzar, I. Kuzniarz, G. Reggio, and J. Sourrouille, Workshop on Consistency Problems in UML-based Software Development III, UML 2004, 2004
|