1

Modeling and verification method for an early evaluation of Systems of Systems interactions
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps …
PDF Cite DOI
Modeling and verification method for an early evaluation of systems of systems interactions
PDF Cite DOI
Papyrus for Gamers, Let's Play Modeling
Gamification refers to the exploitation of gaming mechanisms for serious purposes, like learning hard-to-train skills such as …
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
Reflections on Teaching Formal Methods for Software Development in Higher Education
PDF Cite DOI
Towards an Anatomy of Software Requirements
PDF Cite DOI
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called …
PDF
Emergence of Composite Services in Smart Environments
In this poster we summarize our innovative approach called opportunistic composition: using a bottom-up approach, composite services …
PDF
How to handle environmental uncertainty in goal-based requirements engineering
The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements …
PDF
On the use of models for high-performance scientific computing applications: an experience report
This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) …
PDF