Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
66 Publications
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 32503 | 
Buhl HM. Partner orientation and speaker’s knowledge as conflicting parameters in language production. Journal of Psycholinguistic Research. 2001;30(6):549-567.
LibreCat
| Download (ext.)