1

Live-UMLRT: A Tool for Live Modeling of UML-RT Models
PDF Cite DOI
Automated user-oriented description of emerging composite ambient applications
Ambient environments consist of components surrounding the user and offering services. Applications can here be composed …
PDF Cite
A collaborative decision approach for alignment of heterogeneous models
PDF Cite
Using Patterns to parameterize the execution of Collaborative Tasks
PDF Cite DOI
A Pattern-based Process Management System to flexibly execute Collaborative Tasks
PDF Cite
Approximate Loop Unrolling
PDF Cite DOI
Reflections on Teaching Formal Methods for Software Development in Higher Education
PDF Cite DOI
Towards an Anatomy of Software Requirements
PDF Cite DOI
A Survey on MBSE Adoption Challenges
PDF Cite
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)
PDF Cite DOI