Login / Signup
Using OCL Beyond Specifications.
Dan Chiorean
Published in:
pUML (2001)
Keyphrases
</>
high level
formal specification
test cases
metamodel
specification language
class diagram
delay insensitive
artificial intelligence
information systems
case study
object oriented
open source
tool support
constraint language
attribute grammars