Download:
|
by Paul Ziemann, Martin Gogolla
http://www.db.informatik.uni-bremen.de/publications/Ziemann_2003_FMICS.ps.gz
Add To MetaCart
Abstract:
a,2
Citations
|
1524
|
Object-Oriented Modelling and Design
– Rumbaugh, Blaha, et al.
- 1991
|
|
762
|
Object-Oriented Analysis and Design with Applications (Benjamin Cummings
– Booch
- 1994
|
|
365
|
The object constraint language: precise modeling with UML
– Warmer, Kleppe
- 1998
|
|
172
|
OMG Unified Modeling Language Specification, version 1.5
– OMG
|
|
47
|
Modular architecture for a toolset supporting OCL
– Hussmann, Demuth, et al.
- 2000
|
|
47
|
A precise approach to validating UML models and OCL constraints
– RICHTERS
- 2001
|
|
44
|
Gunnar Övergaard, Object-Oriented Software Engineering: A Use Case Driven Approach
– Jacobson, Christerson, et al.
- 1992
|
|
41
|
The KeY approach: Integrating object oriented design and formal verification
– Ahrendt, Baar, et al.
- 2000
|
|
34
|
A Metamodel for OCL
– Richters, Gogolla
- 1999
|
|
13
|
OCL - Syntax, Semantics and Tools
– Richters, Gogolla
- 2001
|
|
5
|
The Boldsoft OCL Tool Model Run
– Boldsoft
- 2002
|
|
2
|
Checking BART Test Scenarios with UML's Object Constraint Language. In Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design
– Gogolla, Ziemann
- 1996
|
|
1
|
Object Constraint Language 2.0. Technical report, Submission to the OMG
– Warmer, Kleppe, et al.
- 2001
|
|
1
|
High Integrity Software
– Winter, Bhattacharya
- 2001
|
