Search - Télécom Paris Access content directly

Filter your results

7 Results
authFullName_s : Sylvie Vignes
Image document

Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems

Thomas Vergnaud , Irfan Hamid , Khaled Barbaria , Elie Najm , Laurent Pautet et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270490v1

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards

Régine Laleau , Sylvie Vignes , Yves Ledru , Michel Lemoine , Didier Bert et al.
Software Process: Improvement and Practice, 2006, 11 (5), pp.487-503
Journal articles hal-00147053v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1

Application of Requirements Analysis Techniques to the analysis of civil aviation security standards

Régine Laleau , Sylvie Vignes , Yves Ledru , Michel Lemoine , Didier Bert et al.
SREP'05 - Proceedings of the First International Workshop on Situational Requirements Engineering Processes: Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes. Organized by IFIP WG8.1 Method Engineering Task Group, In conjunction with the 13th IEEE International Requirements Engineering Conference, 2005, Paris, France. pp.91--106
Conference papers hal-01224666v1

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports

Yves Ledru , Régine Laleau , Sylvie Vignes
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (4), pp.133--157
Journal articles hal-01224662v1

CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis

Yanjun Sun , Gérard Memmi , Sylvie Vignes , Frédéric Daumas
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles hal-02287057v1

Model-Based Verification Directed by Structural Coverage and Functional Requirements

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers hal-02287373v1