Innovation in humanitarian assistance—a systematic literature review
Bruder, Maximilian, Baar, Thomas
Published in Journal of international humanitarian action (01.12.2024)
Published in Journal of international humanitarian action (01.12.2024)
Get full text
Journal Article
Correctly defined concrete syntax for visual modeling languages
Get full text
Conference Proceeding
Book Chapter
The KeY tool: Integrating object oriented design and formal verification
Ahrendt, Wolfgang, Baar, Thomas, Beckert, Bernhard, Bubel, Richard, Giese, Martin, Hähnle, Reiner, Menzel, Wolfram, Mostowski, Wojciech, Roth, Andreas, Schlager, Steffen, Schmitt, Peter H.
Published in Software and systems modeling (01.02.2005)
Published in Software and systems modeling (01.02.2005)
Get full text
Journal Article
OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem
Get full text
Book Chapter
Conference Proceeding
Refactoring OCL annotated UML class diagrams
Marković, Slaviša, Baar, Thomas
Published in Model Driven Engineering Languages and Systems (01.01.2005)
Published in Model Driven Engineering Languages and Systems (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
Non-deterministic Constructs in OCL – What Does any() Mean
Get full text
Book Chapter
Conference Proceeding