Filter your results
- 6
- 1
- 4
- 3
- 7
- 2
- 1
- 1
- 2
- 1
- 6
- 1
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 7
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time SystemsConference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270490v1
|
||
Adopting a situational requirements engineering approach for the analysis of civil aviation security standardsSoftware 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 TestingInt. 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 standardsSREP'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éroportsRevue 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éfisGé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 RequirementsModel-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers
hal-02287373v1
|