1

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
PDF Cite DOI
Examining Requirements Documentation through the Focused Conversation Method
PDF Cite
Using Comp-O to Build and Describe Component-Based Services
PDF Cite
Towards an Assessment Grid for Intelligent Modeling Assistance
PDF Cite
Comp-O: an OWL-S Extension for Composite Service Description
PDF Cite DOI
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
From DSL Specification to Interactive Computer Programming Environment
PDF Cite DOI
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges
PDF Cite