|
СТ |
Validation of UML and OCL Models by Automatic Snapshot Generation |
2003 |
Gogolla M., Bohling J., Richters M. |
|
|
|
Lecture Notes in Computer Science |
29.11.2003 |
|
СТ |
OCL: Syntax, Semantics, and Tools |
2002 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |
|
СТ |
Expressing UML Class Diagrams Properties with OCL |
2002 |
Gogolla M., Richters M. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |
|
СТ |
Validating UML Models and OCL Constraints |
2000 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
11.11.2000 |
|
СТ |
A Metamodel for OCL |
1999 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Towards Three-Dimensional Representation and Animation of UML Diagrams |
1999 |
Gogolla M., Radfelder O., Richters M. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
On Formalizing the UML Object Constraint Language OCL |
1998 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
25.11.1998 |
|
СТ |
A Web-based Animator for Object Specifications in a Persistent Environment |
1997 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
