J. Aguilar, H. Cancela, L. Rincón, G. Giraldo, R. Mazo et al., Method to identify corrections of defects on product line models, Electronic Notes in Theoretical Computer Science, vol.314, pp.61-81, 2015.

A. Française-de-normalisation, Établissements de santé -Zones à environnement maîtrisé -Exigences relatives à la maîtrise de la contamination aéroportée, 2013.

[. Amoroso, W. E. Kleppinger, and D. Majette, An Engineering Approach to Secure System Analysis, Design, and Integration, AT&T Technical Journal, vol.73, issue.5, pp.40-51, 1994.
DOI : 10.1002/j.1538-7305.1994.tb00609.x

[. Alvestrand, RFC 3935 ? A Mission Statement for the IETF, RFC, 2004.

J. Aguilar, G. Marin, L. F. Rincón, G. L. Giraldo, R. Mazo et al., An ontological rule-based approach for analyzing dead and false optional features in feature models, Electronic Notes in Theoretical Computer Science, vol.302, pp.111-132, 2014.

A. Maladie, Améliorer la qualité du système de santé et maîtriser les dépenses : propositions de l'Assurance maladie pour 2014 Rapport au ministre chargé de la sécurité sociale et au Parlement sur l'évolution des charges et des produits de l'Assurance maladie, 2014.

T. Ass15-]-association, Le travail en milieu confiné, 2015.

A. Aurum and C. Wohlin, Engineering and Managing Software Requirements, 2005.
DOI : 10.1007/3-540-28244-0

D. Travis, A. I. Breaux, K. Antón, M. Boucher, and . Dorfman, It compliance : Aligning legal and product requirements . IT professional, pp.54-58, 2009.

D. Travis, A. I. Breaux, J. Antón, and . Doyle, Semantic parameterization : A process for modeling domain descriptions

[. Bencomo, G. S. Blair, and R. B. France, Summary of the Workshop Models@run.time at MoDELS 2006, Models in Software Engineering, Workshops and Symposia at MoDELS, pp.227-231, 2006.
DOI : 10.1007/978-3-540-69489-2_28

[. Boehm, P. Bose, E. Horowitz, and M. J. Lee, Software requirements negotiation and renegotiation aids, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.243-243, 1995.
DOI : 10.1145/225014.225037

]. E. Bcs-+-12, N. Braun, A. Cartwright, S. A. Shamsaei, G. Behnam et al., Drafting and modeling of regulations : Is it being done backwards ?, Requirements Engineering and Law (RELAW), 2012 Fifth International Workshop on, pp.1-6, 2012.

[. Billaud, N. Daclin, and V. Chapurlat, Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS), pp.53-63, 2015.
DOI : 10.1007/978-3-662-47157-9_5
URL : https://hal.archives-ouvertes.fr/hal-01438407

. Bim16a, . Bim, and . Conference, BIM and LEAN construction ? 4 th conference, 2016.

A. Janis and . Bubenko-jr, Information modeling in the context of system development, IFIP Congress, pp.395-411, 1980.

[. Bang-jensen, Z. Gregory, and . Gutin, Digraphs : theory, algorithms and applications, 2009.

[. Bézivin, F. Jouault, and P. Valduriez, On the need for Megamodels, Conference on Object-Oriented Programming Systems, Languages, and Applications, 2004.

[. Berzins and L. Luqi, Software Engineering with Abstractions, 1991.

. Bmp-+-14-]-p, M. H. Biron, C. Metzger, C. Pezet, E. Sebban et al., An information retrieval system for computerized patient records in the context of a daily hospital practice : the example of the léon bérard cancer center (france), Applied Clinical Informatics, vol.5, issue.1, pp.191-205, 2014.

S. [. Butler, J. N. Miller, V. A. Potts, and . Carreno, A formal methods approach to the analysis of mode confusion, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267), p.41, 1998.
DOI : 10.1109/DASC.1998.741497

W. Barry and . Boehm, Software Engineering Economics, 1981.

S. Bradner, RFC 2119 ? Key words for use in RFCs to Indicate Requirement Levels, 1997.

[. Booch, J. Rumbaugh, and I. Jacobson, The unified modeling language, Unix Review, vol.14, issue.13, p.5, 1996.

P. Browne, JBoss Drools business rules, Livery Place, 35 Livery Street, 2009.

E. Thomas, T. Bell, D. Travis, M. W. Breaux, A. I. Vail et al., Software requirements : Are they really a problem Towards regulatory compliance : Extracting rights and obligations to align requirements with regulations, Proceedings of the 2nd international conference on Software engineering Proceedings of the 14th IEEE International Requirements Engineering Conference, RE '06, pp.62-68, 1976.

D. Donald, R. F. Chamberlin, and . Boyce, Sequel : A structured english query language Coordination de la lutte contre les infections nosocomiales & associées aux soins Tranformation de modèles ? principes, standards et exemples, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description , access and controlCCL15] CCLIN et Arlin du Sud-Est. Définition des Infections NosocomialesCD15] Vincent Chapurlat and Nicolas Daclin. System of Systems Architecting : A Behavioural and Properties Based Approach for SoS « ?ilities » Modelling and Analysis, pp.249-264, 1974.

N. Daclin and S. Billaud, An Interface Pattern Model for Supporting Design of Natively Interoperable Systems, CDI15] CDISC. CDISC : Standards & Implementations, pp.171-185, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01438400

T. Clancy, The standish group report, Chaos Report, vol.20, 1995.

F. Edgar and . Codd, A relational model of data for large shared data banks, Com07] Comité Technique des Infections Nosocomiales et des Infections Liées aux Soins. Définition des inféctions associées aux soins, pp.377-387, 1970.

. Rapport, Ministère de la santé, de la jeunesse et des sports, 2007.

C. Combemale, Approche de métamodélisation pour la simulation et la vérification de modèle ? Application à l'ingénierie des procédés, 2008.

B. [. Cambria and . White, Jumping NLP Curves: A Review of Natural Language Processing Research [Review Article], IEEE Computational Intelligence Magazine, vol.9, issue.2, pp.48-57, 2014.
DOI : 10.1109/MCI.2014.2307227

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.411-420, 1999.
DOI : 10.1109/icse.1999.841031

S. Deakin, Juridical ontology : The evolution of legal form, Historical Social Research, vol.40, issue.1, p.2015

T. Demarco, Structured Analysis and System Specification
DOI : 10.1007/978-3-642-59412-0_33

A. Dardenne, S. Fickas, and A. Van-lamsweerde, Goal-directed concept acquisition in requirements elicitation, Proceedings of the Sixth International Workshop on Software Specification and Design, pp.14-21, 1991.
DOI : 10.1109/IWSSD.1991.213081

J. Luis-de-la-vara, A. Ruiz, K. Attwood, H. Espinoza, R. Kaur-panesar-walawege et al., Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel, Information and Software Technology, vol.72, pp.16-30, 2016.
DOI : 10.1016/j.infsof.2015.11.008

I. Mara-da-rosa-alves, R. Luiza-de-oliveira-chishman, P. M. Torres, and D. Quaresma, The construction BIBLIOGRAPHIE of a juridical ontology, Proceedings of the 11th International Conference on Artificial Intelligence and Law, ICAIL '07, pp.93-94, 2007.

C. [. Djebbi and . Salinesi, Criteria for Comparing Requirements Variability Modeling Notations for Product Lines, Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06, RE'06 Workshop), pp.20-35, 2006.
DOI : 10.1109/CERE.2006.2
URL : https://hal.archives-ouvertes.fr/hal-00706367

A. Dumont, Classification des systèmes de stockage NoSQL. Sogilis, 2014.

R. Darimont and A. Van-lamsweerde, Formal refinement patterns for goal-driven requirements elaboration, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.179-190, 1996.
DOI : 10.1145/250707.239131
URL : ftp://ftp.info.ucl.ac.be/pub/publi/96/fse4.ps.gz

A. Dardenne, A. Van-lamsweerde, and S. Fickas, Goal-directed requirements acquisition, Science of Computer Programming, vol.20, issue.1-2, pp.3-50, 1993.
DOI : 10.1016/0167-6423(93)90021-G
URL : https://doi.org/10.1016/0167-6423(93)90021-g

S. Easterbrook, Requirements Engineering, 1994.

S. Martin and . Feather, Language support for the specification and development of composite systems, ACM Trans. Program. Lang. Syst, vol.9, issue.2, pp.198-234, 1987.

. Figuière, NoSQL Europe : Tour d'horizon des bases de données NoSQL. Xebia France http://blog.xebia.frFou13] François Fouquet. Model@Runtime for continuous development of heterogeneous distributed adaptive systems, Theses, Université Rennes, vol.21, issue.1, 2010.

A. Finkelstein and C. Potts, Building formal specifications using structured common sense, 1987.

R. Française, Loi n ? 2003-699 du 30 juillet 2003 relative à la prévention des risques technologiques et naturels et à la réparation des dommages, 2003.

R. Française, Loi n ? 85-704 du 12 juillet 1985 relative à la maîtrise d'ouvrage publique et à ses rapports avec la maîtrise d'oeuvre privée, 2010.

T. [. Gordon and . Breaux, Reconciling multijurisdictional legal requirements : A case study in requirements water marking, 20th IEEE International Requirements Engineering Conference (RE), pp.91-100, 2012.
DOI : 10.1109/re.2012.6345843
URL : http://www.cs.cmu.edu/~breaux/publications/dggordon-re12.pdf

G. David, . Gordon, D. Travis, 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.

A. Gelibert, Vers une aide pour la qualification énergétique des bâtiments intelligents, Journées Nationales des Communications dans les Transports Terrestres, 2014.

[. Gotel and A. Finkelstein, Contribution structures [Requirements artifacts], Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.100-107, 1995.
DOI : 10.1109/ISRE.1995.512550

S. J. Greenspan, J. Mylopoulos, A. Garcia-molina, J. D. Ullman, J. W. Thomas et al., Capturing more world knowledge in the requirements specification DATABASE SYSTEMS : The Complete Book. Pearson Education Hall, Upper Saddle River, NJ 07458 A translation approach to portable ontology specifications [Gru15] Sumit Grupta. Neo4j Essentials ? Leverage the power of Neo4j to design, implement, and deliver top-notch projects, Proceedings of the 6th International Conference on Software Engineering, ICSE '82 Livery Place, 35 Livery StreetGup15] Sumit Gupta. Building Web Applications with Python and Neo4j ? Develop exciting real-world Python-based web applications with Neo4j using frameworks such as Flask, Py2neo, and Django Livery Place, 35 Livery Street, pp.225-234199, 1982.

H. Autorité and D. Santé, Scope Santé, 2012.

B. Hardin, D. Mccool, C. Bim, and . Management, [Hoe94] T Hoet. Le concept de l'asepsie progressive et son impact sur le comportement dans le bloc opératoire. Inter Bloc, SybexHol16] Dominik Holzer. The BIM Manager's Handbook : Guidance for Professionals in Architecture, Engineering and Construction, pp.24-27, 1994.

J. Wiley, &. Sons, . Inc, . Hice, and . Turner, System development methodology. amsterdam and new york [IA10] Claus Ibsen and Jonathan Anstey. Camel in action, II12] Inspection Générale des Finances (IGF) and Inspection Générale des Affaires Sociales (IGAS). Propositions pour la maîtrise de l'ONDAM. Rapport, pp.51-52429, 1974.

M. Ibanez and H. Rempp, European user survey analysis, ESPITI Project Report, 1996.

M. Jackson, Software Requirements & Specifications : A Lexicon of Practice, Principles and Prejudices, 1995.

[. Jarke, T. X. Bui, and M. Carroll, Scenario Management: An Interdisciplinary Approach, Requirements Engineering, vol.3, issue.3-4, pp.155-173, 1998.
DOI : 10.1007/s007660050002
URL : ftp://sunsite.informatik.rwth-aachen.de/pub/CREWS/CREWS-99-01.ps.gz

[. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with kermeta, Generative and Transformational Techniques in Software Engineering III, pp.201-221, 2011.

B. Jean-marc-jézéquel, O. Combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench. Software and Systems Modeling, pp.905-920, 2015.

J. Andrew, M. Jones, and . Sergot, On the characterisation of law and computer systems : The normative systems perspective . Deontic logic in computer science : normative system specification, pp.275-307, 1993.

]. A. Kah62 and . Kahn, Topological sorting of large networks, Commun. ACM, vol.5, issue.11, pp.558-562, 1962.

]. R. Kid13 and . Kiddle, Introduction to Natural Language Processing Undergraduate study in computing and related programmes, 2013.

[. Kent, . Tse-maibaum, J. William, and . Quirk, Formally specifying temporal constraints and error recovery, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering, pp.208-215, 1993.
DOI : 10.1109/ISRE.1993.324856

[. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, 1992.
DOI : 10.1007/3-540-56283-4

J. R. Antón, L. Cordy, J. Mich, and . Mylopoulos, Extracting rights and obligations from regulations : Toward a tool-supported process, Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering, ASE '07, pp.429-432, 2007.

J. R. Antón, L. Cordy, J. Mich, and . Mylopoulos, Automating the Extraction of Rights and Obligations for Regulatory Compliance, pp.154-168, 2008.

N. Kiyavitskaya, N. Zeni, J. R. Cordy, L. Mich, and J. Mylopoulos, Cerno: Light-weight tool support for semantic annotation of textual documents, 21st {IEEE} International Symposium on Computer- Based Medical Systems (IEEE {CBMS} 2008) ? Seven selected and extended papers on Biomedical Data Mining, pp.1470-1492, 2009.
DOI : 10.1016/j.datak.2009.07.012

. Van-lamsweerde, Formal specification, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.147-159, 2000.
DOI : 10.1145/336512.336546

A. Laude, La judiciarisation de la santé, Questions de santé publique Institut de la Recherche en Santé Publique (GIS-IReSP), 2013.

[. Li, A. Borgida, G. Guizzardi, J. Horkoff, L. Liu et al., Desiree : a Refinement Calculus for Requirements Problems, 2016.

]. A. Addison-wesley-professionalll98, E. Van-lamsweerde, . R. Letierlut93-]-r, and . Lutz, Integrating obstacles in goal-driven requirements engineering Conduire un projet de construction à l'aide du BIM. Eyrolles Analyzing software requirements errors in safetycritical , embedded systems Developing production rule models to aid in acquiring requirements from legal texts Swire. A legal crossreferences taxonomy for identifying conflicting software requirements Managing changing compliance requirements by predicting regulatory evolution, Software Engineering Proceedings of the 1998 International Conference on Proceedings of IEEE International Symposium on 17th IEEE International Requirements Engineering Conference 2011 IEEE 19th International Requirements Engineering Conference 20th IEEE International Requirements Engineering Conference (RE), pp.53-62, 1993.

J. C. Maxwell, A. I. Antón, P. Swire, M. Riaz, and C. M. Mccraw, A legal cross-references taxonomy for reasoning about compliance requirements, Requirements Engineering, vol.16, issue.5, pp.99-115
DOI : 10.1007/s00766-010-0108-6

B. Morin, O. Barais, and J. Jezequel, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51, 2009.
DOI : 10.1109/MC.2009.327

J. Mylopoulos, L. Chung, B. Nixon, [. Mallek, N. Daclin et al., Representing and using nonfunctional requirements : A processoriented approach Software Engineering Enabling model checking for collaborative process analysis : from bpmn to 'network of timed automata, Enterprise Information Systems, pp.483-497279, 1985.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Model Driven Engineering Languages and Systems, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

. Mlhs-+-11-]-r, R. E. Mazo, C. Lopez-herrejon, D. Salinesi, A. Diaz et al., Conformance checking with constraint logic programming : The case of feature models, 2011 IEEE 35th Annual Computer Software and Applications Conference, pp.456-465, 2011.

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

A. K. Massey, P. N. Otto, L. J. Hayward, and A. I. Antón, Evaluating existing security and privacy requirements for legal compliance, Requirements Engineering, vol.15, issue.14, pp.119-137, 2010.
DOI : 10.1007/s00766-009-0089-5

[. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, 1992.
DOI : 10.1007/978-1-4612-0931-7

[. Mohri, Afshin Rostamizadeh, and Ameet Talwalkar. Foundations of Machine Learning, 2012.

N. Maiden and A. Sutcliffe, Exploiting reusable specifications through analogy, 2011 IEEE 19th International Requirements Engineering Conference, pp.55-64, 1992.
DOI : 10.1145/129852.129857

E. Mumford, Participative systems design : Structure and method, Systems, Objectives, Solutions, vol.1, issue.1, pp.5-19, 1981.
DOI : 10.1093/comjnl/27.3.283-a
URL : https://academic.oup.com/comjnl/article-pdf/27/3/283/1049364/270283a.pdf

T. Mens, P. Van-gorp-nuseibeh, J. Kramer, and A. Finkelstein, Massonet and A. van Lamsweerde Analogical reuse of requirements frameworks https://www.allplan.com/fr/software/architecture/ allplan-architecture.html. [Nem15b] Nemetschek. Allplan Engineering Dealing with performance requirements during the development of information systems A framework for expressing the relationships between multiple views in requirements specification A pluralistic knowledge-based approach to software specification, Notes Theor. Comput. Sci. Proceedings of the Third IEEE International Symposium onNem15a] Nemetschek. Allplan Architectureneo4j.com. [Nil14] Nils J Nilsson. Principles of artificial intelligence Proceedings of IEEE International Symposium onNMS89] Celso Niskier, T. S. E. Maibaum, and Daniel Schwabe Proceedings of the 2Nd European Software Engineering Conference, ESEC '89, pp.125-142, 1989.

S. Nocosium and S. Nocosium, http://www.nocosium.fr/. [Obj15a] Object Management Group, Meta Object Facility, vol.2, issue.0, 2015.

A. Oppel, Databases demystified, 2004.

[. Perelman, Juridical ontology and sources of law, N. Ky. L. Rev, vol.10, p.387, 1982.

]. D. Phg-+-12, C. Proux, Q. Hagège, I. Gicquel, S. Kergourlay et al., Aladin : développement d'un outil sémantique d'analyse des documents textuels médicaux pour la détection d'infections associées aux soins, Numéro spécial {ANR} {TECSANTechnologie} pour la santé et l'autonomie, pp.137-142, 2012.

[. Parnas and J. Madey, Functional documents for computer systems, Science of Computer Programming, vol.25, issue.1, pp.41-61, 1995.
DOI : 10.1016/0167-6423(95)96871-J
URL : https://doi.org/10.1016/0167-6423(95)96871-j

C. Potts, Using schematic scenarios to understand user needs, Proceedings of the conference on Designing interactive systems processes, practices, methods, & techniques, DIS '95, pp.247-256, 1995.
DOI : 10.1145/225434.225462

[. Potts, K. Takahashi, and A. I. Antón, Inquiry-based requirements analysis, IEEE Software, vol.11, issue.2, pp.21-32, 1994.
DOI : 10.1109/52.268952

. [. Panesar-walawege, Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems, 2012.

M. [. Panesar-walawege, L. Sabetzadeh, and . 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

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. E. Lorensen, Object-oriented modeling and design, 1991.

D. Redis and . Youporn, com is now a 100% Redis site, Feb 2012. https://groups.google.com/forum/?fromgroups=#! topic/redis-db, pp.4-4

S. Kenneth, A. Rubin, and . Goldberg, Object behavior analysis, Commun. ACM, vol.35, issue.9, pp.48-62, 1992.

[. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Reference Manual, The. Pearson Higher Education, 2004.

[. Rescorla, R. Kent, and . Barnes, RFC 6919 ? Further Key Words for Use in RFCs to Indicate Requirement Levels, 2013.

T. [. 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, 2011.
DOI : 10.1109/RE.2011.6051629

]. W. Rob89 and . Robinson, Integrating multiple specifications using domain goals, SIGSOFT Softw. Eng. Notes, vol.14, issue.3, pp.219-226, 1989.

T. Douglas and . Ross, Structured analysis (sa) : A language for communicating ideas, IEEE Trans. Software Eng, vol.3, pp.16-34, 1977.

G. Rousset, Judiciarisation et juridicisation de la santé : entre mythe et réalité, Carnets de Bord, pp.23-28, 2009.

K. [. Ross and . Schoman, Structured Analysis for Requirements Definition, IEEE Transactions on Software Engineering, vol.3, issue.1, pp.6-15, 1977.
DOI : 10.1109/TSE.1977.229899

C. Rolland and C. Salinesi, Modeling Goals and Reasoning with Them, pp.189-217, 2005.
DOI : 10.1007/3-540-28244-0_9
URL : https://hal.archives-ouvertes.fr/hal-00706380

R. [. Reubenstein and . Waters, The Requirements Apprentice: automated assistance for requirements acquisition, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.226-240, 1991.
DOI : 10.1109/32.75413

[. Robinson, J. Webber, and E. Eifrem, Graph Databases. O'Reilly Media, 1005 Gravenstein Highway North, 2015.

[. Sannier, INCREMENT an Hybrid approach for modeling and analyzing regulatory safety requirements in the large, Theses, Université Rennes, vol.1, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00941881

N. Sannier and B. Baudry, INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis, Requirements Engineering : Foundation for Software Quality -20th International Working Conference. Proceedings, pp.135-151, 2014.
DOI : 10.1007/978-3-319-05843-6_11
URL : https://hal.archives-ouvertes.fr/hal-00982065

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF : eclipse modeling framework. Pearson Education, 2008.

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

]. P. Smd-+-12, R. Sawyer, D. Mazo, C. Diaz, D. Salinesi et al., Using constraint programming to manage configurations in self-adaptive systems, Computer, issue.10, pp.4556-63, 2012.

M. Stephens and D. Rosenberg, Use Case Driven Object Modeling with UML ? Theory and Practice, 2007.

]. A. Ssk-+-06, W. Schauerhuber, E. Schwinger, W. Kapsammer, M. Retschitzegger et al., A survey on aspect-oriented modeling approaches, 2006.

]. A. Sut97 and . Sutcliffe, A technique combination approach to requirements engineering, Requirements Engineering Proceedings of the Third IEEE International Symposium on, pp.65-74, 1997.

A. Terraz-ayela, Utilisation d'un entrepôt de données cliniques pour l'élaboration et l'évaluation d'un système décisionnel : application à la prévention des infections du site opératoire, 2012.

D. The15a-]-the-apache, . A. Project, and . Derby, Apache Software Foundation, 2015.

M. [. Uusitalo, T. Raatikainen, T. Männistö, and . Tommila, Structured natural language requirements in nuclear energy domain towards improving regulatory guidelines, 2011 Fourth International Workshop on Requirements Engineering and Law, pp.67-73, 2011.
DOI : 10.1109/RELAW.2011.6050274

A. Vallecillo, On the Combination of Domain Specific Modeling Languages, European Conference on Modelling Foundations and Applications, pp.305-320, 2010.
DOI : 10.1007/978-3-642-13595-8_24

A. Vasselle, Rapport sur la politique de lutte contre les infections nosocomiales. Santé publique, Office Parlementaire d'Evaluation des Politiques de Santé, 2006.

A. Van-lamsweerde, Requirements engineering in the year 00, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.5-19, 2000.
DOI : 10.1145/337180.337184

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.238-249, 2008.
DOI : 10.1145/1453101.1453133

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

K. The and . Project, Knowledge Acquisition in Automated Specification of Software, AAAI Spring Symp. Series, Track : Design of Composite Systems, pp.59-62, 1991.

A. Van-lamsweerde, R. Darimont, and E. Letier, Managing conflicts in goal-driven requirements engineering, IEEE Transactions on Software Engineering, vol.24, issue.11, pp.908-926, 1998.
DOI : 10.1109/32.730542

. Vwa-+-15-]-aleksa, N. Vukotic, T. Watt, D. Abedrabbo, J. Fox et al., Neo4j in Action, 2015.

. Wikipédia, Building Information Modeling, 2015.

F. Keith, M. Y. Woeltje, M. Lin, M. O. Klompas, G. Wright et al., Data requirements for electronic surveillance of healthcare-associated infections A catalogue of refactorings for model-to-model transformations, List of CAx companies Pohl, M. Jarke, and P. Haumer. Scenarios in system development : current practice. IEEE Software, pp.1083-10911, 1998.

I. Anthony, . Wasserman, K. Susan, and . Stinson, A specification method for interactive medical information systems Young and A. I. Anton. A method for identifying software requirements based on policy commitments, Proceedings of the Annual Symposium on Computer Application in Medical Care 18th IEEE International Requirements Engineering Conference, pp.1471-1478, 1980.

E. Yu, P. Giorgini, N. Maiden, and J. Mylopoulos, Social Modeling for Requirements Engineering, 2011.

E. Yu and J. Mylopoulos, Understanding "why" in software process modelling, analysis, and design, Proceedings of 16th International Conference on Software Engineering, pp.159-168, 1994.
DOI : 10.1109/ICSE.1994.296775

E. Yu, Towards modelling and reasoning support for earlyphase requirements engineering, Requirements Engineering Proceedings of the Third IEEE International Symposium on, pp.226-235, 1997.
DOI : 10.1109/isre.1997.566873
URL : ftp://ftp.cs.toronto.edu/pub/eric/RE97.ps.gz

K. Yue, What does it mean to say that a specification is complete ?, Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, 1987.

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

[. Zowghi and C. Coulin, Requirements Elicitation: A Survey of Techniques, Approaches, and Tools, 2005.
DOI : 10.1007/3-540-28244-0_2

K. Zeilenga, RFC 4510 ? Lightweight Directory Acess Protocol (LDAP) : Technical specification road map, RFC, 2006.

P. Zave and M. Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4
DOI : 10.1145/158431.158438

L. Nf-s-90-351, .. Une, and U. , 167 10.10Illustration : graphe complet dans 169 10.11Illustration : carte euristique simplifiée d' 170 10.12Illustration : sous-graphe concernant les Pharmacies à Usage Intérieur 172 10.13Illustration : graphe concernant les, p.179