Travelled to:1 × Canada
1 × China
1 × Finland
1 × Germany
1 × Portugal
1 × USA
Collaborated with:W.Müller ∅ H.Giese M.Tichy S.Burmester
Talks about:constraint (3) time (3) ocl (3) languag (2) semant (2) orient (2) object (2) real (2) uml (2) properti (1)
Person: Stephan Flake
DBLP: Flake:Stephan
Contributed to:
2004
2004
2004
200320032002Wrote 6 papers:
- SEFM-2004-FlakeM #bound #ocl
- Past- and Future-Oriented Time-Bounded Temporal Properties with OCL (SF, WM), pp. 154–163.
- SEKE-2004-Flake #concept #constraints #ocl
- Enhancing the Message Concept of the Object Constraint Language (SF), pp. 161–166.
- UML-2004-FlakeM #ocl #semantics
- An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.
- ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #uml #verification
- Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.
- SEKE-2003-FlakeM #constraints #ocl #semantics
- Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.
- UML-2002-FlakeM #constraints #ocl #realtime #uml
- A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.