MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stephan Flake" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Temporal OCL Extensions for Specification of Real-Time Constraints
by Stephan Flake — 2003 — SVERTS Workshop at UML 2003
…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
by Stephan Flake — 2004
…. 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
by Stephan Flake — 2004 — In Proc. of the 2nd Int. Conf. on Software Engineering and Formal Methods (SEFM 2004). IEEE Computer
…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
by Stephan Flake, Wolfgang Mueller — 2003
…Abstract OCL 2.0 - UML 2003 Preliminary Version Formal Semantics of OCL Messages Stephan Flake…
Add To MetaCart

Expressing Property Specification Patterns with OCL
by Stephan Flake, Wolfgang Mueller — 2003 — In The 2003 International Conference on Software Engineering Research and Practice (SERP’03), Las Vegas
…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
by Stephan Flake, Christian Geiger — 2000 — ASIAN’99 ASIAN 99, Asian Computing Science Conference
…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
by Stephan Flake, Wolfgang Mueller — 2002 — Advances in Object Modelling with the OCL, Lecture Notes in Computer Science
…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
by Stephan Flake, Wolfgang Mueller — 2002 — In UML 2002 - The Unified Modeling Language. 5th International Conference
…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
by Stephan Flake, Wolfgang Mueller — 2003 — Software and Systems Modeling (SoSyM), Springer
… 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
by Stephan Flake, Wolfgang Mueller — 2003 — In 15th Internat’l Conf. on Software Engineering and Knowledge Engineering (SEKE 2003
…Semantics of State-Oriented Expressions in the Object Constraint Language Stephan Flake…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB