1

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
PDF Cite DOI
Examining Requirements Documentation through the Focused Conversation Method
PDF Cite
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