Searching for authors named "Stephan Flake" – sorted by Relevance.
-
Temporal OCL Extensions for Specification of Real-Time Constraints
- Temporal OCL Extensions for Specification of Real-Time Constraints Stephan Flake C-LAB, Paderborn
- Cited by 3 (0 self) – Add To MetaCart
-
Towards the Completion of the Formal Semantics of OCL 2.0
- . Stephan Flake C-LAB, Paderborn University Fuerstenallee 11 33102 Paderborn, Germany Email: flake
- Cited by 6 (4 self) – Add To MetaCart
-
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL
- Past- and Future-Oriented Time-Bounded Temporal Properties with OCL Stephan Flake ORGA Systems Gmb
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Semantics Of OCL Messages
- Abstract OCL 2.0 - UML 2003 Preliminary Version Formal Semantics of OCL Messages Stephan Flake
- Add To MetaCart
-
Expressing Property Specification Patterns with OCL
- Expressing Property Specification Patterns with OCL Stephan Flake and Wolfgang Mueller C
- Cited by 5 (3 self) – Add To MetaCart
-
CASA - Structured Design of a Specification Language For Intelligent Agents
- CASA - Structured Design of a Specification Language for Intelligent Agents 1 Introduction Stephan
- Cited by 1 (0 self) – Add To MetaCart
-
An OCL Extension for Real-Time Constraints
- An OCL Extension for Real-Time Constraints Stephan Flake and Wolfgang Mueller C-LAB, Paderborn
- Cited by 20 (6 self) – Add To MetaCart
-
A UML Profile for Real-Time Constraints with the OCL
- A UML Profile for Real-Time Constraints with the OCL Stephan Flake and Wolfgang Mueller C
- Cited by 18 (6 self) – Add To MetaCart
-
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
- semantics of static and temporal state-oriented OCL constraints Stephan Flake, Wolfgang Mueller C
- Cited by 7 (5 self) – Add To MetaCart
-
Semantics of State-Oriented Expressions in the Object Constraint Language
- Semantics of State-Oriented Expressions in the Object Constraint Language Stephan Flake
- Cited by 2 (2 self) – Add To MetaCart

