 |
Conference papers
Application of Requirements Analysis Techniques to the analysis of civil aviation security standards
Régine Laleau
1
Sylvie Vignes
2
Yves Ledru
3
Michel Lemoine
4
Didier Bert
5
Véronique Donzeau-Gouge
6
Catherine Dubois
6
Fabien Peureux
7
Régine Laleau 1
Mail :
Author
Sylvie Vignes 2
Author
Yves Ledru 3
Mail :
Author IdHAL : yves-ledru
Michel Lemoine 4
Author
Didier Bert 5
Mail :
Author
Véronique Donzeau-Gouge 6
Author
Catherine Dubois 6
Mail : Site :
Author
Fabien Peureux 7
Author
1
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
2
GET/ENST - GET/ENST, département informatique (France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
3
LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : 04 57 42 14 00 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France)
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
5
LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux (681, rue de la Passerelle - BP 72 - 38402 Saint Martin d'Hères Cedex - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5526 (France)
6
CEDRIC - Centre d'études et de recherche en informatique et communications (292 rue Saint-Martin
75141 PARIS Cedex 03
Case courrier 2D4P30 - France)
- ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise : EA4629 (France)
- CNAM - Conservatoire National des Arts et Métiers [CNAM] : EA4629 (France)
7
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UFC - Université de Franche-Comté (France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
Abstract : no abstract
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01224666
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:48 PM
Last modification on : Friday, December 20, 2019 - 1:36:39 AM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:48 PM
Last modification on : Friday, December 20, 2019 - 1:36:39 AM
Identifiers
- HAL Id : hal-01224666, version 1
Collections
IMAG | CNRS | UNIV-FCOMTE | CNAM | LACL | UGA | ONERA | UPEC-UPEM | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | CEDRIC-CNAM | LIG | UPEC | INSTITUT-TELECOM | PARISTECH
Citation
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. 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. ⟨hal-01224666⟩
Metrics
Record views
