Searching for "OCL Extended with Temporal Logic." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

OCL Extended with Temporal Logic
by Paul Ziemann, Martin Gogolla — 2003 — in Perspective of System Informatics, LNCS 2244
…OCL Extended with Temporal Logic Paul Ziemann and Martin Gogolla University of Bremen, Department…
Cited by 2 (0 self) – Add To MetaCart

Design Patterns Application in UML
by Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel — 2000 — IN PROCEEDINGS OF THE 14 TH EUROPEAN CONFERENCE ON OBJECT ORIENTED PROGRAMMING, SPRINGER LNCS 1850
… investigating is to turn them into textual constraints written in a variant of OCL extended with temporal logic…
Cited by 12 (6 self) – Add To MetaCart

Showing 1 through 2.

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