1

Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage

Add the full text or supplementary notes for the publication here using Markdown formatting.

Modelling and Verification of Natural Language Requirements based on States and Modes

Add the full text or supplementary notes for the publication here using Markdown formatting.

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain

Examining Requirements Documentation through the Focused Conversation Method

Using Comp-O to Build and Describe Component-Based Services

Towards an Assessment Grid for Intelligent Modeling Assistance

Comp-O: an OWL-S Extension for Composite Service Description

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 …

Modeling and verification method for an early evaluation of systems of systems interactions

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 …