OCL: Syntax, Semantics, and Tools
- 21 February 2002
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- On a Temporal Logic for Object-Based SystemsPublished by Springer Science and Business Media LLC ,2000
- Extending OCL to Include ActionsLecture Notes in Computer Science, 2000
- Consistency Checking and Visualization of OCL ConstraintsLecture Notes in Computer Science, 2000
- Modular Architecture for a Toolset Supporting OCLLecture Notes in Computer Science, 2000
- Entwurfsmustergesteuerte Erzeugung von OCL-ConstraintsPublished by Springer Science and Business Media LLC ,2000
- On the Expressive Power of OCLLecture Notes in Computer Science, 1999
- Typechecking UML Static ModelsLecture Notes in Computer Science, 1999
- Defining the Context of OCL ExpressionsLecture Notes in Computer Science, 1999
- On Constraints and Queries in UMLPublished by Springer Science and Business Media LLC ,1998
- An axiomatic basis for computer programmingCommunications of the ACM, 1969