Up a level |
BrĂ¼ning, Jens and Gogolla, Martin and Hamann, Lars and Kuhlmann, Mirco (2012) Evaluating and Debugging OCL Expressions in UML Models. In: Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings.
BrĂ¼ning, Jens and Kunert, Martin and Lantow, Birger (2012) Modeling and Executing ConcurTaskTrees using a UML-and SOIL-based Metamodel. In: OCL 2012 @ MODELS 2012.