. La, TypedElement se spécialise en deux axes, les éléments écrits et les éléments non écrits ; Parmi les éléments écrits se retrouvent l'ensemble des concepts mentionnés ainsi qu'une spécialisation particulière pour les exigences. Une exigence peut donc ainsi être une exigence (sans particularité) ou être plus précise et provenir de l'ingénierie, du monde normatif (StandardRequirement) ou du monde réglementaire

?. Guide-réglementaire, Il n'existe pas vraiment de documents de ce genre dans le contexte français. Cependant, on en retrouve aux Etats-Unis ou au Royaume Uni. Il s'agit de documents comme les guides réglementaires US (NRC regulatory guide, par exemple le NRC regulatory guide 1-153 « Criteria for Safety System, ou des Technical Assessment Principles (TAG) publié par le HSE

?. Les-normes, Standard ) : Il s'agit des normes, recommandations, standards, publiés par des organismes nationaux ou internationaux et qui sont appliqués pour les projets de système de contrôle-commande

U. Hazeline, A. U. Asuncion, R. N. Asuncion, ]. A. Taylorabko04, V. Alfonso et al., Software traceability with topic modeling Visual Timed Event Scenarios Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements : Results from a Family of Five Experiments, Proceedings of the 32nd ACM Proceedings of the 26th International Conference on Software Engineering Régine Laleau, and Christophe Gnaho. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Procedia Computer Science ANT 2012 and MobiWIS 2012. [AGI + 13] Silvia AbrahaoAIE07] AIEA. IAEA Safety Glossary : Terminology Used in Nuclear Safety and Radiation Protection Edition. IAEA publications, pp.95-104, 2004.

D. Amyot and G. Mussbacher, User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper), Journal of Software, vol.6, issue.5, pp.747-768, 2011.
DOI : 10.4304/jsw.6.5.747-768

D. Amyot, G. Mussbacher, S. Ghanavati, and J. Kealey, GRL Modeling and Analysis with jUCMNav, of CEUR Workshop Proceedings, pp.160-162, 2011.

C. Ben-achour, C. Rolland, C. Souveyet, and N. A. Maiden, Guiding Use Case Authoring : Results of an Empirical Study, REASN11] Autorité de sûreté nucléaire ASN. Complementary Safety Assessments of the French Nuclear Power Plants, pp.36-43, 1999.

T. D. Breaux, A. I. Antón, K. Boucher, and M. Dorfman, IT Compliance: Aligning Legal and Product Requirements, IT Professional, vol.11, issue.5, pp.54-58, 2009.
DOI : 10.1109/MITP.2009.101

T. D. Breaux, A. I. Antón, J. D. Benoit-baudry, Y. L. Traon, D. Touzet et al., Semantic parameterization, ACM Transactions on Software Engineering and Methodology, vol.18, issue.2, pp.390-404, 2007.
DOI : 10.1145/1416563.1416565

L. A. Elisa, S. Baniassad, and . Clarke, Theme : An Approach for Aspect-Oriented Analysis and Design, pp.158-167, 2004.

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Modeling model slicers Software and Systems Modeling Drafting and modeling of regulations : Is it being done backwards ?, pp.62-76, 2011.

M. Daniel, J. Berry-franck-fleurey, B. Steel, Y. L. Baudry, and . Traon, The importance of ignorance in requirements engineering : An earlier sighting and a revisitation Metamodel-based Test Generation for Model Transformations : an Algorithm and a Tool, ISSRE, pp.83-85, 2002.

D. Travis, D. G. Breaux, and . Gordon, Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications, Lecture Notes in Computer Science, vol.7830, pp.141-157, 2013.

A. Beugnard, J. Jezequel, N. Plouzeau, and D. Watkins, Making components contract aware, Model-Driven Engineering, Verification, and Validation, pp.38-45, 1999.
DOI : 10.1109/2.774917

[. Baudry, C. Nebut, and Y. L. Traon, Model-Driven Engineering for Requirements Analysis, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.459-466, 2007.
DOI : 10.1109/EDOC.2007.15

URL : https://hal.archives-ouvertes.fr/lirmm-00196676

T. D. Breaux, M. W. Vail, and A. I. Anton, Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations, 14th IEEE International Requirements Engineering Conference (RE'06), pp.49-58, 2006.
DOI : 10.1109/RE.2006.68

H. C. Betty, J. M. Cheng, and . Atlee, Research Directions in Requirements Engineering, pp.285-303, 2007.

[. Czauderna, J. Cleland-huang, M. Çinar, and B. Berenbach, Just-in-time traceability for mechatronics systems, 2012 Second IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems (RESS), pp.1-9, 2012.
DOI : 10.1109/RES4.2012.6347691

. A. Laura, B. H. Campbell, W. E. Cheng, K. Mcumber, and . Stirewalt, Automatically Detecting and Visualising Errors in UML Diagrams, Requirements Engineering, vol.7, issue.4, pp.264-287, 2002.

[. Chen and J. Grundy, Improving automated documentation to code traceability by combining retrieval techniques, Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, pp.223-232, 2011.

B. Huang, S. Berenbach, R. Clark, E. Settimi, and . Romanova, Best Practices for Automated Traceability, Computer, vol.40, issue.6, pp.27-35, 2007.
DOI : 10.1109/MC.2007.195

J. Cleland-huang, A. Czauderna, M. Gibiec, and J. Emenecker, A machine learning approach for tracing regulatory codes to product specific requirements, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.155-164, 2010.
DOI : 10.1145/1806799.1806825

M. P. Huang, E. Heimdahl, J. H. Hayes, R. R. Lutz, and P. Maeder, Trace Queries for Safety Requirements in High Assurance Systems, Lecture Notes in Computer Science, vol.7195, pp.179-193, 2012.
DOI : 10.1007/978-3-642-28714-5_16

[. Cleland-huang, R. Settimi, C. Duan, and X. Zou, Utilizing supporting evidence to improve dynamic requirements traceability, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.135-144, 2005.
DOI : 10.1109/RE.2005.78

H. C. Betty, P. Cheng, N. Sawyer, J. Bencomo, and . Whittle, A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, MoDELS, pp.468-483, 2009.

B. Matthew, . Dwyer, S. George, . Avrunin, C. James et al., Patterns in property specifications for finite-state verification, Software Engineering Proceedings of the 1999 International Conference on, pp.411-420, 1999.

A. David-de, A. Ferreira, . Rodrigues, and . Silva, RSLingo : An information extraction approach toward formal requirements specifications, MoDRE, pp.39-48, 2012.

H. Dumitru, M. Gibiec, N. Hariri, J. Cleland-huang, B. Mobasher et al., Ondemand feature recommendations derived from mining public product descriptions, Proceedings of the 33rd International Conference on Software Engineering, pp.181-190, 2011.

A. Dekhtyar and J. H. Huffman, A framework for comparing requirements tracing experiments, International Journal of Software Engineering and Knowledge Engineering, vol.15, issue.05, pp.751-781, 2005.

A. De-lucia, F. Fasano, R. Oliveto, and G. Tortora, ADAMS Re-Trace: A Traceability Recovery Tool, Ninth European Conference on Software Maintenance and Reengineering, pp.32-41, 2005.
DOI : 10.1109/CSMR.2005.7

[. Duboc, E. Letier, and D. S. Rosenblum, Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis, IEEE Transactions on Software Engineering, vol.39, issue.1, pp.119-140, 2013.
DOI : 10.1109/TSE.2012.12

[. Damas, B. Lambeau, and A. Van-lamsweerde, Scenarios, goals, and state machines, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering , SIGSOFT '06/FSE-14, pp.197-207, 2006.
DOI : 10.1145/1181775.1181800

B. Marie-catherine-de-marneffe, . Maccartney, D. Christopher, and . Manning, Generating typed dependency parses from phrase structure parses, Proceedings of LREC, pp.449-454, 2006.

K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz, Verification and change-impact analysis of accesscontrol policies, ICSE, pp.196-205, 2005.

[. Ghanavati, D. Amyot, and L. Peyton, Towards a Framework for Tracking Legal Compliance in Healthcare, CAiSE, pp.218-232, 2007.
DOI : 10.1007/978-3-540-72988-4_16

G. David, T. D. Gordon, and . Breaux, Reconciling multi-jurisdictional legal requirements : A case study in requirements water marking, pp.91-100, 2012.

G. David, T. D. Gordon, and . Breaux, A cross-domain empirical study and legal evaluation of the requirements water marking method, Requirements Engineering, vol.18, issue.2, pp.147-173, 2013.

J. Gotel, J. H. Cleland-huang, A. Hayes, A. Zisman, P. Egyed et al., The quest for Ubiquity: A roadmap for software and systems traceability research, 2012 20th IEEE International Requirements Engineering Conference (RE), pp.71-80, 2012.
DOI : 10.1109/RE.2012.6345841

C. Orlena, . Gotel, C. Anthony, and . Finkelstein, An analysis of the requirements traceability problem, Proceedings of the 1st International Conference on Requirements Engineering (ICRE'94), pp.94-101, 1994.

[. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns : Abstraction and reuse of object-oriented design, 1993.

[. Goknil, I. Kurtev, K. Van-den, and . Berg, A Metamodeling Approach for Reasoning about Requirements, ECMDA-FA, pp.310-325, 2008.
DOI : 10.1007/978-3-540-69100-6_21

[. Gotel and S. J. Morris, Out of the labyrinth: Leveraging other disciplines for requirements traceability, 2011 IEEE 19th International Requirements Engineering Conference, pp.121-130
DOI : 10.1109/RE.2011.6051655

A. Goknil and M. Peraldi-frati, A DSL for specifying timing requirements, 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE), pp.49-57
DOI : 10.1109/MoDRE.2012.6360074

URL : https://hal.archives-ouvertes.fr/hal-00757168

G. Grosz, C. Rolland, S. R. Schwer, C. Souveyet, V. Plihon et al., Modelling and engineering the requirements engineering process: An overview of the NATURE approach, Requirements Engineering, vol.34, issue.10, pp.115-131, 1997.
DOI : 10.1007/BF02802771

URL : https://hal.archives-ouvertes.fr/hal-00673588

J. Huffman-hayes, A. Dekhtyar, and . Sundaram, Advancing candidate link generation for requirements tracing: the study of methods, IEEE Transactions on Software Engineering, vol.32, issue.1, pp.4-19, 2006.
DOI : 10.1109/TSE.2006.3

J. Huffman-hayes, A. Dekhtyar, . Senthil-karthikeyan, A. Sundaram, S. Holbrook et al., REquirements TRacing On target (RETRO) : improving software maintenance through traceability recovery. Innovations in Systems and Software Engineering Managing iterations with UNI- CASE, HK10] Jonas Helming and Maximilian Koegel Premkumar T. Devanbu, and Sebastián Uchitel, pp.193-202, 2007.

[. Henß, M. Monperrus, and M. Mezini, Semi-automatically extracting FAQs to improve accessibility of software development knowledge, 2012 34th International Conference on Software Engineering (ICSE), pp.793-803, 2012.
DOI : 10.1109/ICSE.2012.6227139

[. Ieee, IEEE Standard Glossary of Software Engineering Terminology, IEEE Std, vol.610, pp.12-1990, 1990.

[. Ingolfo, A. Siena, and J. Mylopoulos, Establishing Regulatory Compliance for Software Requirements, Lecture Notes in Computer Science, vol.90, issue.6, pp.47-61, 2011.
DOI : 10.1007/978-3-540-76292-8_36

M. Jackson, The world and the machine, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.283-283, 1995.
DOI : 10.1145/225014.225041

. Jean-marc-jézéquel, O. Benoit-combemale, and . Barais, Mashup of metalanguages and its implementation in the kermeta language workbench. Software & Systems Modeling, pp.1-16, 2013.

[. Jézéquel, B. Combemale, and D. Vojtisek, Ingénierie Dirigée par les Modèles : des concepts à la pratique, Références sciences. Ellipses, 2012.

. Jean-marc, B. Jézéquel, and . Meyer, Design by contract : the lessons of ariane, Computer, vol.30, issue.1, pp.129-130, 1997.

G. Johnson, Comparison of IEC and IEEE standards for computerbased control systems important to safety, Nuclear Science Symposium Conference Record, pp.2474-2481, 2001.

E. Kamsties, Understanding Ambiguity in Requirements Engineering, Engineering and Managing Software Requirements, pp.245-266, 2005.
DOI : 10.1007/3-540-28244-0_11

S. Konrad and B. H. Cheng, Requirements patterns for embedded systems, Proceedings IEEE Joint International Conference on Requirements Engineering, pp.127-136, 2002.
DOI : 10.1109/ICRE.2002.1211541

C. Kyo, . Kang, G. Sholom, . Cohen, A. James et al., Feature-oriented domain analysis (FODA) feasibility study, 1990.

[. Kano, N. Seraku, F. Takahashi, and S. Tsuji, Attractive quality and must-be quality, Journal of the Japanese Society for Quality Control, vol.14, issue.2, pp.147-156, 1984.

N. Kiyavitskaya, N. Zeni, T. D. Breaux, A. I. Antón, J. R. Cordy et al., Extracting rights and obligations from regulations, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.429-432, 2007.
DOI : 10.1145/1321631.1321701

N. Kiyavitskaya, N. Zeni, T. D. Breaux, A. I. Antón, J. R. Cordy et al., Automating the Extraction of Rights and Obligations for Regulatory Compliance, Lecture Notes in Computer Science, vol.2, issue.2, pp.154-168, 2008.
DOI : 10.1109/MSECP.2004.1281243

N. G. Leveson, Engineering a safer world : Systems thinking applied to safety, 2012.

A. De-lucia, F. Fasano, R. Oliveto, and G. Tortora, Recovering traceability links in software artifact management systems using information retrieval methods, ACM Transactions on Software Engineering and Methodology, vol.16, issue.4, p.13, 2007.
DOI : 10.1145/1276933.1276934

Y. Li, N. Narayan, J. Helming, and M. Koegel, A domain specific requirements model for scientific computing, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.848-851, 2011.
DOI : 10.1145/1985793.1985922

J. Leuser and D. Ott, Tackling Semi-automatic Trace Recovery for Large Specifications, Lecture Notes in Computer Science, vol.6182, pp.203-217, 2010.
DOI : 10.1007/978-3-642-14192-8_19

F. Laleau, A. Semmak, D. Matoussi, A. Petit, B. Hammad et al., A first attempt to combine SysML requirements diagrams and B, Innovations in Systems and Software Engineering, vol.24, issue.3, pp.47-54, 2010.
DOI : 10.1007/s11334-009-0119-y

URL : https://hal.archives-ouvertes.fr/hal-01224642

V. Lorenzo, R. Schnekenburger, Y. Tanguy, P. Tessier, and S. Gerard, L'outil de modélisation graphiquemdt : Papyrus état actuel et perspectives, Génie logiciel, issue.97, 2011.

M. Lormans and A. Van-deursen, Can LSI help reconstructing requirements traceability in design and test ? In Software Maintenance and Reengineering Managing software requirements : a unified approach, Proceedings of the 10th European Conference onLW00] Dean Leffingwell and Don Widrig, p.10, 2000.

C. Jeremy, A. I. Maxwell, and . Antón, Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts, pp.101-110, 2009.

J. C. Maxwell, A. I. Antón, and P. Swire, A legal crossreferences taxonomy for identifying conflicting software requirements, Mylopoulos and Heymans [MH11], pp.197-206

C. Jeremy, A. I. Maxwell, P. Antón, and . Swire, A legal crossreferences taxonomy for identifying conflicting software requirements, Requirements Engineering Conference (RE) 19th IEEE International, pp.197-206, 2011.

J. C. Maxwell, A. I. Antón, P. Swire, J. C. Maxwell, A. I. Antón et al., Managing changing compliance requirements by predicting regulatory evolution A legal cross-references taxonomy for reasoning about compliance requirements Automated measurement of models of requirements, MAS12c] Gunter Mussbacher Second IEEE International Workshop on Model-Driven Requirements Engineering, pp.101-11099, 2012.

A. , P. Mäder, J. Mylopoulos, L. Chung, and B. A. Nixon, A Visual Traceability Modeling Language Representing and using nonfunctional requirements : A process-oriented approach, MALLET : A Machine Learning for Language Toolkit Dorina C. Petriu, Nicolas Rouquette, and Øystein HaugenMFJ05] Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel. Weaving executability into object-oriented meta-languages. SOSYM, pp.226-240483, 1992.

J. Mylopoulos, P. H. George, and A. Miller, Wordnet : a lexical database for english, 19th IEEE International Requirements Engineering Conference, pp.39-41, 1995.

R. E. Mazo, C. Lopez-herrejon, D. Salinesi, A. Diaz, and . Egyed, Conformance Checking with Constraint Logic Programming: The Case of Feature Models, 2011 IEEE 35th Annual Computer Software and Applications Conference, pp.456-465, 2011.
DOI : 10.1109/COMPSAC.2011.66

URL : https://hal.archives-ouvertes.fr/hal-00707545

A. Mahmoud and N. Niu, TraCter: A tool for candidate traceability link clustering, 2011 IEEE 19th International Requirements Engineering Conference, pp.335-336
DOI : 10.1109/RE.2011.6051663

A. K. Massey, P. N. Otto, and A. I. Antón, Prioritizing Legal Requirements, 2009 Second International Workshop on Requirements Engineering and Law, pp.27-32, 2009.
DOI : 10.1109/RELAW.2009.9

K. Aaron, . Massey, N. Paul, L. J. Otto, A. I. Hayward et al., Evaluating existing security and privacy requirements for legal compliance Integrating Creativity into Requirements Processes : Experiences with an Air Traffic Management System, Requirements Engineering, vol.15, issue.1, pp.119-137, 2005.

K. Mohan, B. Mirakhorli, Y. Shin, J. Cleland-huang, and M. Çinar, Traceability-based knowledge integration in group decision and negotiation activities, ICSE, pp.968-989, 2007.
DOI : 10.1016/j.dss.2005.05.026

K. Aaron, B. Massey, . Smith, N. Paul, A. I. Otto et al., Assessing the accuracy of legal implementation readiness decisions, Mylopoulos and Heymans [MH11], pp.207-216

A. Mavin, P. Wilkinson, A. Harwood, and M. Novak, Easy Approach to Requirements Syntax (EARS), 2009 17th IEEE International Requirements Engineering Conference, pp.317-322, 2009.
DOI : 10.1109/RE.2009.9

[. Nuseibeh and S. M. Easterbrook, Requirements engineering, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.35-46, 2000.
DOI : 10.1145/336512.336523

[. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, A Requirement-Based Approach to Test Product Families, Lecture Notes in Computer Science, vol.3014, pp.198-210, 2003.
DOI : 10.1007/978-3-540-24667-1_15

URL : https://hal.archives-ouvertes.fr/hal-00794799

[. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., pp.85-98, 2003.
DOI : 10.1109/ISSRE.2003.1251033

URL : https://hal.archives-ouvertes.fr/hal-00794812

N. Niu and A. Mahmoud, Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited, 2012 20th IEEE International Requirements Engineering Conference (RE), pp.81-90, 2012.
DOI : 10.1109/RE.2012.6345842

J. William and . Nuttall, Nuclear renaissance : technologies and policies for the future of nuclear power, 2004.

[. Omg, Documents Associated With Software Assurance Evidence Metamodel (SAEM) Version 1.0 -Beta 1. http://www.omg.org/spec, 2010.

[. Omg, Documents Associated With Systems Modeling Language (SysML), Version 1.3. http://www.omg.org/spec, 2012. [OMG13] OMG. Structured Assurance Case Metamodel (SACM), 2013.

[. Office-for-nuclear-regulation and O. , Japanese earthquake and tsunami : Implications for the uk nuclear industry, final report, 2011.

S. Osinski and D. Weiss, Conceptual Clustering Using Lingo Algorithm: Evaluation on Open Directory Project Data, Intelligent Information Systems, Advances in Soft Computing, pp.369-377, 2004.
DOI : 10.1007/978-3-540-39985-8_38

[. Perrouin, E. Brottier, B. Baudry, and Y. L. Traon, Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective, Lecture Notes in Computer Science, vol.5512, pp.89-103, 2009.
DOI : 10.1007/978-3-642-02050-6_8

URL : https://hal.archives-ouvertes.fr/inria-00468522

A. Francisco, . Pinheiro, A. Joseph, and . Goguen, An object-oriented tool for tracing requirements. Software, IEEE, vol.13, issue.2, pp.52-64, 1996.

[. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38

URL : https://hal.archives-ouvertes.fr/inria-00456507

[. Pohl, Process-centered requirements engineering, 1997.

[. Pohl, Requirements Engineering -Fundamentals, Principles, and Techniques, 2010.

C. Potts, Metaphors of intent, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.31-39, 2001.
DOI : 10.1109/ISRE.2001.948541

[. Panesar-walawege, T. Skyberg-knutsen, M. Sabetzadeh, and L. Briand, CRESCO: Construction of Evidence Repositories for Managing Standards Compliance, Advances in Conceptual Modeling. Recent Developments and New Directions, pp.338-342
DOI : 10.1007/978-1-84882-349-5_12

[. Panesar-walawege, M. Sabetzadeh, and L. C. Briand, A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards, 2011 IEEE 22nd International Symposium on Software Reliability Engineering, pp.30-39, 2011.
DOI : 10.1109/ISSRE.2011.11

[. Rauf, M. Antkiewicz, and K. Czarnecki, Logical structure extraction from software requirements documents, 2011 IEEE 19th International Requirements Engineering Conference, pp.101-110, 2011.
DOI : 10.1109/RE.2011.6051638

]. B. Ram02 and . Ramesh, Process knowledge management with traceability, Software, IEEE, vol.19, issue.3, pp.50-52, 2002.

A. Raji and P. Dhaussy, Use Cases for Context Aware Model-Checking, MoDELS Workshops, pp.202-216, 2011.
DOI : 10.1007/978-3-642-29645-1_21

[. Wenra, Reactor Harmonization Working Group RHWG. Progress towards harmonisation of safety for existing reactors in wenra countries, 2011.

[. Regnell, L. Karlsson, and M. Höst, An analytical model for requirements selection quality evaluation in product software development, Journal of Lightwave Technology, pp.254-263, 2003.
DOI : 10.1109/ICRE.2003.1232757

T. Mikko-raatikainen, T. Männistö, J. Tommila, and . Valkonen, Challenges of requirements engineering — A case study in nuclear energy domain, 2011 IEEE 19th International Requirements Engineering Conference, pp.253-258
DOI : 10.1109/RE.2011.6051629

S. Robertson and J. Robertson, Mastering the Requirements Process, 1999.

C. Rolland, C. Souveyet, and C. B. Achour, Guiding goal modeling using scenarios, IEEE Transactions on Software Engineering, vol.24, issue.12, pp.1055-1071, 1998.
DOI : 10.1109/32.738339

URL : https://hal.archives-ouvertes.fr/hal-00673586

K. Sapkota, A. Aldea, M. Younas, A. David, R. Duce et al., Extracting meaningful entities from regulatory text: Towards automating regulatory compliance, 2012 Fifth IEEE International Workshop on Requirements Engineering and Law (RELAW), pp.29-32, 2012.
DOI : 10.1109/RELAW.2012.6347798

[. Scandurra, A. Arnoldi, T. Yue, and M. Dolci, Functional requirements validation by transforming use case models into Abstract State Machines, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1063-1068, 2012.
DOI : 10.1145/2245276.2231942

G. Salton and C. Buckley, Term-weighting approaches in automatic text retrieval. Information processing & management, pp.513-523, 1988.

N. Sannier and B. Baudry, Défis pour la variabilité et la traçabilité des exigences en ingénierie système, INFORSID 2011, 2011.

N. Sannier and B. Baudry, Defining and retrieving themes in nuclear regulations, 2012 Fifth IEEE International Workshop on Requirements Engineering and Law (RELAW), pp.33-41, 2012.
DOI : 10.1109/RELAW.2012.6347797

URL : https://hal.archives-ouvertes.fr/hal-00721826

N. Sannier and B. Baudry, Toward multilevel textual requirements traceability using model-driven engineering and information retrieval, 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE), pp.29-38
DOI : 10.1109/MoDRE.2012.6360072

URL : https://hal.archives-ouvertes.fr/hal-00721806

N. Sannier and B. Baudry, Acquiring and Analyzing Regulations with a mix MDE-IR approach

[. Sannier, B. Baudry, and T. Nguyen, Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering, 2011 Model-Driven Requirements Engineering Workshop, pp.64-73
DOI : 10.1109/MoDRE.2011.6045368

URL : https://hal.archives-ouvertes.fr/inria-00636855

A. [. Sharp, G. Finkelstein, and . Galal, Stakeholder identification in the requirements engineering process, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99, pp.387-391, 1999.
DOI : 10.1109/DEXA.1999.795198

P. Sawyer, V. Gervasi, and B. Nuseibeh, Unknown knowns: Tacit knowledge in requirements engineering, 2011 IEEE 19th International Requirements Engineering Conference, p.329
DOI : 10.1109/RE.2011.6051683

A. Siena, I. Jureta, S. Ingolfo, A. Susi, A. Perini et al., Capturing Variability of Law with N??mos 2, pp.383-396, 2012.
DOI : 10.1007/978-3-642-34002-4_30

I. Sommerville and G. Kotonya, Requirements engineering : processes and techniques, 1998.

G. Salton, J. Michael, and . Mcgill, Introduction to modern information retrieval, 1986.

[. Sawyer, P. Rayson, and R. Garside, REVERE : Support for Requirements Synthesis from Documents, Information Systems Frontiers, vol.4, issue.3, pp.343-353, 2002.
DOI : 10.1023/A:1019918908208

A. Stone and P. Sawyer, Finding tacit knowledge by solving the pre-requirements tracing problem, REFSQ. Citeseer, 2005.

[. Sinha, B. Sengupta, and S. Chandra, Enabling collaboration in distributed requirements management. Software, IEEE, vol.23, issue.5, pp.52-61, 2006.

[. Salton, A. Wong, and C. Yang, A vector space model for automatic indexing, Communications of the ACM, vol.18, issue.11, pp.613-620, 1975.
DOI : 10.1145/361219.361220

J. Eero, M. Uusitalo, T. Raatikainen, T. Männistö, and . Tommila, Structured natural language requirements in nuclear energy domain towards improving regulatory guidelines, RELAW, pp.67-73, 2011.

A. Villemeur, P. Caseau, and A. Harcourt, Sûreté de fonctionnement des systèmes industriels : fiabilité, facteurs humains, informatisation . Eyrolles, 1988.

[. Vicente-chicote, B. Moros, and J. Álvarez, REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting., SIGSOFT FSE, pp.437-454, 2007.
DOI : 10.5381/jot.2007.6.9.a22

. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009.

J. Luis-de, L. Vara, and R. Kaur-panesar-walawege, Safetymet : A metamodel for safety standards, 2013.

J. Cornelis, S. E. Van-rijsbergen, . Robertson, F. Martin, and . Porter, New models in probabilistic information retrieval, 1980.

[. Wnuk and D. Callele, Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction, 2010 18th IEEE International Requirements Engineering Conference, pp.409-410, 2010.
DOI : 10.1109/RE.2010.62

[. Weimer, T. Nguyen, C. L. Goues, and S. Forrest, Automatically finding patches using genetic programming, 2009 IEEE 31st International Conference on Software Engineering, pp.364-374, 2009.
DOI : 10.1109/ICSE.2009.5070536

S. Winkler and J. Pilgrim, A survey of traceability in requirements engineering and model-driven development, Software and Systems Modeling (SoSyM), pp.529-565, 2010.
DOI : 10.1007/s10270-009-0145-0

[. Wnuk, B. Regnell, and L. Karlsson, What Happened to Our Features? Visualization and Understanding of Scope Change Dynamics in a Large-Scale Industrial Setting, 2009 17th IEEE International Requirements Engineering Conference, pp.89-98, 2009.
DOI : 10.1109/RE.2009.32

[. Wnuk, Björn Regnell, and Claes Schrewelius Architecting and Coordinating Thousands of Requirements -An Industrial Case Study

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems, 2009 17th IEEE International Requirements Engineering Conference, pp.79-88, 2009.
DOI : 10.1109/RE.2009.36

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, vol.91, issue.1, pp.177-196, 2010.
DOI : 10.1007/s00766-010-0101-0

J. D. Young and A. I. Antón, A Method for Identifying Software Requirements Based on Policy Commitments, 2010 18th IEEE International Requirements Engineering Conference, pp.47-56, 2010.
DOI : 10.1109/RE.2010.17

[. Yue, C. Lionel, Y. Briand, and . Labiche, A systematic review of transformation approaches between user requirements and analysis models, Requirements Engineering, vol.32, issue.2, pp.75-99, 2011.
DOI : 10.1007/s00766-010-0111-y

[. Yue, C. Lionel, Y. Briand, and . Labiche, Facilitating the transition from use case models to analysis models, ACM Transactions on Software Engineering and Methodology, vol.22, issue.1, p.5, 2013.
DOI : 10.1145/2430536.2430539

H. Yang, A. N. De-roeck, V. Gervasi, A. Willis, and B. Nuseibeh, Speculative requirements: Automatic detection of uncertainty in natural language requirements, 2012 20th IEEE International Requirements Engineering Conference (RE), pp.11-20, 2012.
DOI : 10.1109/RE.2012.6345795

S. Eric and . Yu, Towards modelling and reasoning support for early-phase requirements engineering, Requirements Engineering Proceedings of the Third IEEE International Symposium on, pp.226-235, 1997.

[. Zave, Classification of research efforts in requirements engineering, ACM Computing Surveys, vol.29, issue.4, pp.315-321, 1997.
DOI : 10.1145/267580.267581

[. Zoughbi, L. C. Briand, and Y. Labiche, A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software, MoDELS, pp.574-588, 2007.
DOI : 10.1007/978-3-540-75209-7_39

[. Zoughbi, L. C. Briand, and Y. Labiche, Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile, Software and System Modeling, pp.337-367, 2011.
DOI : 10.1007/s10270-010-0164-x

W. Zhang, H. Mei, and H. Zhao, A feature-oriented approach to modeling requirements dependencies, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.273-284, 2005.
DOI : 10.1109/RE.2005.6

F. La-réglementation, 21 1.3 Organisation de la réglementation d'un point de vue général, p.23

R. Extrait-du-guide-réglementaire, 168 publié par la NRC et l'approbation de la norme IEEE 1012 pour la V&V du logiciel, p.93