1

From DSL Specification to Interactive Computer Programming Environment
PDF Cite DOI
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges
PDF Cite
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