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 ,
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 ,
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 ,
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. ,
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
GRL Modeling and Analysis with jUCMNav, of CEUR Workshop Proceedings, pp.160-162, 2011. ,
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. ,
IT Compliance: Aligning Legal and Product Requirements, IT Professional, vol.11, issue.5, pp.54-58, 2009. ,
DOI : 10.1109/MITP.2009.101
Semantic parameterization, ACM Transactions on Software Engineering and Methodology, vol.18, issue.2, pp.390-404, 2007. ,
DOI : 10.1145/1416563.1416565
Theme : An Approach for Aspect-Oriented Analysis and Design, pp.158-167, 2004. ,
Modeling model slicers Software and Systems Modeling Drafting and modeling of regulations : Is it being done backwards ?, pp.62-76, 2011. ,
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. ,
Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications, Lecture Notes in Computer Science, vol.7830, pp.141-157, 2013. ,
Making components contract aware, Model-Driven Engineering, Verification, and Validation, pp.38-45, 1999. ,
DOI : 10.1109/2.774917
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
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
Research Directions in Requirements Engineering, pp.285-303, 2007. ,
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
Automatically Detecting and Visualising Errors in UML Diagrams, Requirements Engineering, vol.7, issue.4, pp.264-287, 2002. ,
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. ,
Best Practices for Automated Traceability, Computer, vol.40, issue.6, pp.27-35, 2007. ,
DOI : 10.1109/MC.2007.195
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
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
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
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, MoDELS, pp.468-483, 2009. ,
Patterns in property specifications for finite-state verification, Software Engineering Proceedings of the 1999 International Conference on, pp.411-420, 1999. ,
RSLingo : An information extraction approach toward formal requirements specifications, MoDRE, pp.39-48, 2012. ,
Ondemand feature recommendations derived from mining public product descriptions, Proceedings of the 33rd International Conference on Software Engineering, pp.181-190, 2011. ,
A framework for comparing requirements tracing experiments, International Journal of Software Engineering and Knowledge Engineering, vol.15, issue.05, pp.751-781, 2005. ,
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
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
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
Generating typed dependency parses from phrase structure parses, Proceedings of LREC, pp.449-454, 2006. ,
Verification and change-impact analysis of accesscontrol policies, ICSE, pp.196-205, 2005. ,
Towards a Framework for Tracking Legal Compliance in Healthcare, CAiSE, pp.218-232, 2007. ,
DOI : 10.1007/978-3-540-72988-4_16
Reconciling multi-jurisdictional legal requirements : A case study in requirements water marking, pp.91-100, 2012. ,
A cross-domain empirical study and legal evaluation of the requirements water marking method, Requirements Engineering, vol.18, issue.2, pp.147-173, 2013. ,
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
An analysis of the requirements traceability problem, Proceedings of the 1st International Conference on Requirements Engineering (ICRE'94), pp.94-101, 1994. ,
Design patterns : Abstraction and reuse of object-oriented design, 1993. ,
A Metamodeling Approach for Reasoning about Requirements, ECMDA-FA, pp.310-325, 2008. ,
DOI : 10.1007/978-3-540-69100-6_21
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 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
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
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
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. ,
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 Standard Glossary of Software Engineering Terminology, IEEE Std, vol.610, pp.12-1990, 1990. ,
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
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
Mashup of metalanguages and its implementation in the kermeta language workbench. Software & Systems Modeling, pp.1-16, 2013. ,
Ingénierie Dirigée par les Modèles : des concepts à la pratique, Références sciences. Ellipses, 2012. ,
Design by contract : the lessons of ariane, Computer, vol.30, issue.1, pp.129-130, 1997. ,
Comparison of IEC and IEEE standards for computerbased control systems important to safety, Nuclear Science Symposium Conference Record, pp.2474-2481, 2001. ,
Understanding Ambiguity in Requirements Engineering, Engineering and Managing Software Requirements, pp.245-266, 2005. ,
DOI : 10.1007/3-540-28244-0_11
Requirements patterns for embedded systems, Proceedings IEEE Joint International Conference on Requirements Engineering, pp.127-136, 2002. ,
DOI : 10.1109/ICRE.2002.1211541
Feature-oriented domain analysis (FODA) feasibility study, 1990. ,
Attractive quality and must-be quality, Journal of the Japanese Society for Quality Control, vol.14, issue.2, pp.147-156, 1984. ,
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
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
Engineering a safer world : Systems thinking applied to safety, 2012. ,
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
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
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
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
L'outil de modélisation graphiquemdt : Papyrus état actuel et perspectives, Génie logiciel, issue.97, 2011. ,
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. ,
Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts, pp.101-110, 2009. ,
A legal crossreferences taxonomy for identifying conflicting software requirements, Mylopoulos and Heymans [MH11], pp.197-206 ,
A legal crossreferences taxonomy for identifying conflicting software requirements, Requirements Engineering Conference (RE) 19th IEEE International, pp.197-206, 2011. ,
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 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. ,
Wordnet : a lexical database for english, 19th IEEE International Requirements Engineering Conference, pp.39-41, 1995. ,
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
TraCter: A tool for candidate traceability link clustering, 2011 IEEE 19th International Requirements Engineering Conference, pp.335-336 ,
DOI : 10.1109/RE.2011.6051663
Prioritizing Legal Requirements, 2009 Second International Workshop on Requirements Engineering and Law, pp.27-32, 2009. ,
DOI : 10.1109/RELAW.2009.9
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. ,
Traceability-based knowledge integration in group decision and negotiation activities, ICSE, pp.968-989, 2007. ,
DOI : 10.1016/j.dss.2005.05.026
Assessing the accuracy of legal implementation readiness decisions, Mylopoulos and Heymans [MH11], pp.207-216 ,
Easy Approach to Requirements Syntax (EARS), 2009 17th IEEE International Requirements Engineering Conference, pp.317-322, 2009. ,
DOI : 10.1109/RE.2009.9
Requirements engineering, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.35-46, 2000. ,
DOI : 10.1145/336512.336523
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
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
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
Nuclear renaissance : technologies and policies for the future of nuclear power, 2004. ,
Documents Associated With Software Assurance Evidence Metamodel (SAEM) Version 1.0 -Beta 1. http://www.omg.org/spec, 2010. ,
Documents Associated With Systems Modeling Language (SysML), Version 1.3. http://www.omg.org/spec, 2012. [OMG13] OMG. Structured Assurance Case Metamodel (SACM), 2013. ,
Japanese earthquake and tsunami : Implications for the uk nuclear industry, final report, 2011. ,
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
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
An object-oriented tool for tracing requirements. Software, IEEE, vol.13, issue.2, pp.52-64, 1996. ,
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
Process-centered requirements engineering, 1997. ,
Requirements Engineering -Fundamentals, Principles, and Techniques, 2010. ,
Metaphors of intent, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.31-39, 2001. ,
DOI : 10.1109/ISRE.2001.948541
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
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
Logical structure extraction from software requirements documents, 2011 IEEE 19th International Requirements Engineering Conference, pp.101-110, 2011. ,
DOI : 10.1109/RE.2011.6051638
Process knowledge management with traceability, Software, IEEE, vol.19, issue.3, pp.50-52, 2002. ,
Use Cases for Context Aware Model-Checking, MoDELS Workshops, pp.202-216, 2011. ,
DOI : 10.1007/978-3-642-29645-1_21
Reactor Harmonization Working Group RHWG. Progress towards harmonisation of safety for existing reactors in wenra countries, 2011. ,
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
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
Mastering the Requirements Process, 1999. ,
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
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
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
Term-weighting approaches in automatic text retrieval. Information processing & management, pp.513-523, 1988. ,
Défis pour la variabilité et la traçabilité des exigences en ingénierie système, INFORSID 2011, 2011. ,
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
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
Acquiring and Analyzing Regulations with a mix MDE-IR approach ,
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
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
Unknown knowns: Tacit knowledge in requirements engineering, 2011 IEEE 19th International Requirements Engineering Conference, p.329 ,
DOI : 10.1109/RE.2011.6051683
Capturing Variability of Law with N??mos 2, pp.383-396, 2012. ,
DOI : 10.1007/978-3-642-34002-4_30
Requirements engineering : processes and techniques, 1998. ,
Introduction to modern information retrieval, 1986. ,
REVERE : Support for Requirements Synthesis from Documents, Information Systems Frontiers, vol.4, issue.3, pp.343-353, 2002. ,
DOI : 10.1023/A:1019918908208
Finding tacit knowledge by solving the pre-requirements tracing problem, REFSQ. Citeseer, 2005. ,
Enabling collaboration in distributed requirements management. Software, IEEE, vol.23, issue.5, pp.52-61, 2006. ,
A vector space model for automatic indexing, Communications of the ACM, vol.18, issue.11, pp.613-620, 1975. ,
DOI : 10.1145/361219.361220
Structured natural language requirements in nuclear energy domain towards improving regulatory guidelines, RELAW, pp.67-73, 2011. ,
Sûreté de fonctionnement des systèmes industriels : fiabilité, facteurs humains, informatisation . Eyrolles, 1988. ,
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
Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009. ,
Safetymet : A metamodel for safety standards, 2013. ,
New models in probabilistic information retrieval, 1980. ,
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
Automatically finding patches using genetic programming, 2009 IEEE 31st International Conference on Software Engineering, pp.364-374, 2009. ,
DOI : 10.1109/ICSE.2009.5070536
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
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
Björn Regnell, and Claes Schrewelius Architecting and Coordinating Thousands of Requirements -An Industrial Case Study ,
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
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
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
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
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
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
Towards modelling and reasoning support for early-phase requirements engineering, Requirements Engineering Proceedings of the Third IEEE International Symposium on, pp.226-235, 1997. ,
Classification of research efforts in requirements engineering, ACM Computing Surveys, vol.29, issue.4, pp.315-321, 1997. ,
DOI : 10.1145/267580.267581
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
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
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
21 1.3 Organisation de la réglementation d'un point de vue général, p.23 ,
168 publié par la NRC et l'approbation de la norme IEEE 1012 pour la V&V du logiciel, p.93 ,