D. Aceituna, G. Walia, H. Do, and S. W. Lee, Model-based requirements verification method: Conclusions from two controlled experiments, Information and Software Technology, vol.56, issue.3, pp.321-334, 2014.
DOI : 10.1016/j.infsof.2013.11.004
URL : http://www.cs.ndsu.nodak.edu/~hdo/pdf_files/ndsu-cs-tr-13-002.pdf

S. Acharya, H. Mohanty, and C. George, Domain Consistency in Requirements Specification, Fifth International Conference on Quality Software (QSIC'05), pp.231-238, 2005.
DOI : 10.1109/QSIC.2005.24

D. De-almeida-ferreira and A. R. Da-silva, A controlled natural language approach for integrating requirements and model-driven engineering, Software Engineering Advances ICSEA'09. Fourth International Conference on, pp.518-523, 2009.

A. , E. Consortium, and A. , CIMOSA: open system architecture for CIM, 1993.

N. Amokrane, V. Chapurlat, A. L. Courbis, T. Lambolais, and M. Rahhou, Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal, Interoperability for Enterprise Systems and Applications (I-ESA), pp.77-87, 2014.
DOI : 10.1007/978-3-319-04948-9_7

N. Amokrane, V. Chapurlat, A. L. Courbis, T. Lambolais, and M. Rahhou, Requirements Authoring and Verification for SMEs??? Information Systems Engineering, IFAC-PapersOnLine, vol.48, issue.3, pp.2238-2243, 2015.
DOI : 10.1016/j.ifacol.2015.06.421

K. M. Annervaz, V. Kaulgud, S. Sengupta, and M. Savagaonkar, Natural language requirements quality analysis based on business domain models, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.676-681, 2013.
DOI : 10.1109/ASE.2013.6693132

A. I. Anton, Goal-based requirements analysis, Proceedings of the Second International Conference on Requirements Engineering, pp.136-144, 1996.
DOI : 10.1109/ICRE.1996.491438

K. Beck, Extreme programming explained: embrace change. addison-wesley profes- sional, 2000.

T. E. Bell and T. A. Thayer, Software requirements: Are they really a problem, Proc. ICSE-2: 2nd Intrnational Conference on Software Enginering, pp.61-68, 1976.

K. Benner and M. Feather, Utilizing Scenarios in the Software Development Process, Information System Developpement Process, pp.117-134, 1993.
DOI : 10.1016/B978-0-444-81594-1.50013-1
URL : http://www.isi.edu/soar/johnson/wg81.ps

G. Berio and F. B. Vernadat, New developments in enterprise modelling using CIMOSA, Computers in Industry, vol.40, issue.2-3, pp.99-114, 1999.
DOI : 10.1016/S0166-3615(99)00017-2

P. Bernus and L. Nemes, The Contribution of the Generalised Enterprise Reference Architecture to Consensus in the Area of Enterprise Integration, Proceedings of ICEIMT97, Enterprise Engineering and Integration: Building International Consensus, pp.175-189, 1997.
DOI : 10.1007/978-3-642-60889-6_21

P. Bernus, O. Noran, and A. Molina, Enterprise architecture: Twenty years of the GERAM framework, Annual Reviews in Control, vol.39, pp.83-93, 2014.
DOI : 10.1016/j.arcontrol.2015.03.008

S. Besnard, C. Biré, and P. Victor, L'intégration des TIC est encore incomplète dans les entreprises, 1184.

, Guide to the Systems Engineering Body of Knowledge -- G2SEBoK, BKCASE Editorial Board, 2015.

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, p.8, 2008.
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728

, ACM/IEEE 30th International Conference on, pp.511-520

B. W. Boehm, Software engineering economics, 1981.

J. P. Bourey, R. Grangel, Y. Ducq, A. Berre, M. Bertoni et al., Report on model driven interoperability, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00356088

C. Braesch, A. Haurat, and J. M. Beving, L'entreprise-système. La modélisation systémique en entreprise, pp.83-88, 1995.

J. Brocke, . Vom, and M. Rosemann, Handbook on business process management, 2010.
DOI : 10.1007/978-3-642-00416-2

E. Brottier, Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles, UNIVERSITÉ DE RENNES, vol.1, 2009.

P. D. Bruza and T. P. Van-der-weide, The semantics of data flow diagrams, 1989.

B. R. Bryant, B. S. Lee, F. Cao, W. Zhao, and J. G. Gray, From natural language requirements to executable models of software components, 2003.

L. Cao and B. Ramesh, Agile Requirements Engineering Practices: An Empirical Study, IEEE Software, vol.25, issue.1, pp.60-67, 2008.
DOI : 10.1109/MS.2008.1

D. Gea, J. M. Nicolás, J. Alemán, J. L. Toval, A. Ebert et al., Requirements engineering tools: Capabilities, survey and assessment, Information and Software Technology, issue.10, pp.54-1142, 2012.

C. Consortium, Definition of RSL and RMM D_SP2_R2.3_M3, 2011.

V. Chapurlat, Vérification et validation de modèles de systèmes complexes : application à la Modélisation d'Entrepise, 2007.

V. Chapurlat, B. Kamsu-foguem, and F. Prunet, A formal verification framework and associated tools for Enterprise Modeling: Application to UEML, Computers in Industry, vol.57, issue.2, pp.153-166, 2006.
DOI : 10.1016/j.compind.2005.06.001
URL : http://oatao.univ-toulouse.fr/1465/2/Kamsu_1465_1.pdf

M. Chemuturi, Requirements engineering and management for software development projects, 2012.
DOI : 10.1007/978-1-4614-5377-2

D. Chen, B. Vallespir, and G. Doumeingts, GRAI integrated methodology and its mapping onto generic enterprise reference architecture and methodology, Computers in Industry, vol.33, issue.2-3, pp.387-394, 1997.
DOI : 10.1016/S0166-3615(97)00043-2

P. P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440
URL : http://ir.iit.edu/~waigen/classes/cs525aut05/Chen.pdf

L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos, Non-functional requirements in software engineering, p.129, 2012.
DOI : 10.1007/978-1-4615-5269-7
URL : http://www-di.inf.puc-rio.br/%7Ejulio/nfr-chung-leite.pdf

P. Cragg, M. Caldeira, and J. Ward, Organizational information systems competences in small and medium-sized enterprises, Information & Management, vol.48, issue.8, pp.48353-363, 2011.
DOI : 10.1016/j.im.2011.08.003

G. Doumeingts, B. Vallespir, M. Zanettin, and D. Chen, GIM: GRAI Integrated Methodology , a methodology for designing CIM systems, GRAI. LAP, 1992.
DOI : 10.1007/978-94-011-3985-4_8

G. Doumeingts, Méthode GRAI, 1984.

G. Fanmuy, A. Fraga, and J. Llorens, Requirements Verification in the Industry, Complex Systems Design & Management, pp.145-160, 2012.
DOI : 10.1007/978-3-642-25203-7_10

S. Farfeleder, T. Moser, A. Krall, T. Stålhane, I. Omoronyia et al., Ontologydriven guidance for requirements elicitation, The semanic web: research and applications, pp.212-226, 2011.
DOI : 10.1007/978-3-642-21064-8_15
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-642-21064-8_15.pdf

P. Faure, , 2010.

A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke, VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT, International Journal of Software Engineering and Knowledge Engineering, vol.02, issue.01, pp.31-57, 1992.
DOI : 10.1142/S0218194092000038

K. Fischer, Advanced technologies for interoperability of heterogeneous enterprise networks and their applications. European Coordination Action for Agent-based Computing, p.34, 2005.

M. S. Fox and M. Gruninger, Enterprise Modeling, AI Magazine, vol.19, issue.3, p.109, 1998.

N. E. Fuchs, K. Kaljurand, and G. Schneider, Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces, FLAIRS Conference, pp.664-669, 2006.

C. P. Gane and T. Sarson, Structured systems analysis: tools and techniques, 1979.

R. Grangel, R. B. Salem, J. P. Bourey, N. Daclin, and Y. Ducq, Transforming GRAI Extended Actigrams into UML Activity Diagrams: a First Step to Model Driven Interoperability, Enterprise Interoperability II, pp.447-458, 2007.
DOI : 10.1007/978-1-84628-858-6_48

J. Hall, Semantics of Business Vocabulary and Business Rules (SBVR), 2006.

E. Hull, K. Jackson, and J. Dick, Requirements engineering, 2010.

M. Ibanez and H. Rempp, European user survey analysis. ESPITI project report, 1996.

&. Board, IEEE recommended practice for software requirements specifications, 1998.

, Guide for Writing Requirements, INCOSE, p.130, 2012.

, Enquête sur les technologies de l'information et de la communication et le commerce électronique, INSEE, 2012.

I. Dis, CIM Systems Architecture ? Framework for enterprise modelling, 2002.

I. Dis, Enterprise integration -Constructs for enterprise modelling, 2004.

, Systems Engineering ? System Life-Cycle Processes Industrial automation systems ? Requirements for enterprise-reference architectures and methodologies, ISO15288, 2000.

I. , User Requirements Notation (URN)?Language definition, 2008.

M. Jackson, The meaning of requirements, Annals of Software Engineering, vol.3, issue.1, pp.5-21, 1997.
DOI : 10.1023/A:1018990005598

I. Jacobson, G. Booch, J. Rumbaugh, J. Rumbaugh, and G. Booch, The unified software development process Reading, 1999.

V. Johannessen, CESAR-text vs. boilerplates: What is more effcient-requirements written as free text or using boilerplates (templates), 2012.

S. Junginger, The workflow management coalition standard wpdl: First steps towards formalization, Proceedings of ECEC, pp.163-168, 2000.

M. Kamalrudin and S. Sidek, A Review on Software Requirements Validation and Consistency Management, International Journal of Software Engineering and Its Applications, vol.9, issue.10, pp.39-58, 2015.
DOI : 10.14257/ijseia.2015.9.10.05

S. Kent, Model Driven Engineering, Integrated formal methods, pp.286-298, 2002.
DOI : 10.1007/3-540-47884-1_16

G. Kotonya and I. Sommerville, Requirements engineering with viewpoints, Software Engineering Journal, vol.11, issue.1, pp.5-18, 1996.
DOI : 10.1049/sej.1996.0002

P. Kruchten, The rational unified process: an introduction, 2004.

M. L. Kuras and B. E. White, 2.1.3 Engineering Enterprises Using Complex-System Engineering, INCOSE International Symposium, vol.15, issue.1, p.14, 2005.
DOI : 10.1002/j.2334-5837.2005.tb00666.x
URL : https://hal.archives-ouvertes.fr/hal-01314396

C. Lacombe, R. Pochelu, S. Tazi, and Y. Ducq, Model-Driven Enterprise Resource Planning Specifications in SMEs, Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, pp.538-545, 2014.
DOI : 10.1007/978-3-662-44733-8_67
URL : https://hal.archives-ouvertes.fr/hal-01387318

A. Lamsweerde and . Van, Goal-oriented requirements engineering: a guided tour, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.249-262, 2001.
DOI : 10.1109/ISRE.2001.948567

A. Lamsweerde and . Van, 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. Lamsweerde and . Van, 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

A. Lamsweerde, . Van, A. Dardenne, B. Delcourt, and F. Dubisy, The KAOS project: Knowledge acquisition in automated specification of software, InProceedings of the AAAI Spring Symposium Series, 1991.

J. C. Leite, Viewpoint analysis: a case study, ACM SIGSOFT Software Engineering Notes, vol.14, issue.3, pp.111-119, 1989.
DOI : 10.1145/75200.75217
URL : http://www-di.inf.puc-rio.br/~julio/Slct-pub/viewpoints89.pdf

L. Moigne and J. L. , La théorie du système général: théorie de la modélisation, 1994.

Y. Lemrabet, H. Liu, J. P. Bourey, and M. Bigand, Proposition of Business Process Modelling in Model Driven Interoperability Approach at CIM and PIM Levels, Enterprise Interoperability V, pp.203-215, 2012.
DOI : 10.1007/978-1-4471-2819-9_18

B. Litvak, S. Tyszberowicz, and A. Yehudai, Behavioral consistency validation of UML diagrams, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., pp.118-125, 2003.
DOI : 10.1109/SEFM.2003.1236213

L. Liu and E. Yu, From requirements to architectural design-using goals and scenarios, ICSE-2001 Workshop: From Software Requirements to Architectures, pp.22-30, 2001.

P. Loucopoulos and R. E. Champion, Knowledge-based support for requirements engineering. Information and software technology, pp.31-123, 1989.

L. Lúcio, M. Amrani, J. Dingel, L. Lambers, R. Salay et al., Model transformation intents and their properties, Software & Systems Modeling, pp.1-38, 2014.
DOI : 10.1007/3-540-28554-7_9

J. Luoma, S. Kelly, and J. P. Tolvanen, Defining domain-specific modeling languages: Collected experiences, 2004.

D. A. Marca and C. L. Mcgowan, SADT: structured analysis and design technique, 1987.

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

C. Menzel and R. J. Mayer, The IDEF family of languages, Handbook on architectures of information systems, pp.209-241, 1998.
DOI : 10.1007/978-3-662-03526-9_10

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892
URL : https://ir.cwi.nl/pub/10893/10893D.pdf

P. A. Millet, Une étude de l'intégration organisationnelle et informationnelle Application aux systèmes d'informations de type ERP (Doctoral dissertation, 2008.

C. Morley, J. Hugues, and B. Leblanc, Processus Métiers et systèmes d'information: Evaluation, modélisation, mise en oeuvre, 2005.

A. Mrayat, O. I. Norwawi, N. Basir, and N. , Requirements Elicitation Techniques : Comparative Study, International Journal of Recent Development in Engineering and Technology, vol.1, issue.3, pp.1-10, 2013.

G. P. Mullery, CORE-a method for controlled requirement specification, Proceedings of the 4th international conference on Software engineering, pp.126-135, 1979.

U. Nikula, J. Sajaniemi, and H. Kälviäinen, Management view on current requirements engineering practices in small and medium enterprises, 2000.

P. B. Njonko, S. Cardey, P. Greenfield, and W. Abed, RuleCNL: A Controlled Natural Language for Business Rule Specifications, Controlled Natural Language, pp.66-77, 2014.
DOI : 10.1007/978-3-319-10223-8_7

, Semantics of Business Vocabulary and Business Rules (SBVR), v1, OMG, issue.0, 2008.

, BPMN Available at: http://www.bpmn.org, OMG, 2011.

, Rapport sur l'évolution des PME, OSEO, 2012.

R. R. Pagès, An object-oriented approach to the translation between MOF Metaschemas, 2009.

M. Pfeiffer and J. Pichler, A comparison of tool support for textual domain-specific languages, Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling, pp.1-7, 2008.

S. Planson, R. Jean-philippe, and S. Tagnani, , 2013.

G. Pourcel and D. Gourc, Modélisation d'entreprise: la méthode MECI.Ecole de printemps Modélisation d'entreprise d'Albi-Carmaux, pp.28-30, 2002.

C. Rolland, Ingénierie des Besoins: L'Approche L'Ecritoire, Journal Techniques de l'Ingénieur, pp.1-45, 2003.

C. Rolland, G. Grosz, and R. Kla, Experience with goal-scenario coupling in requirements engineering, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188), pp.74-81, 1999.
DOI : 10.1109/ISRE.1999.777987
URL : https://hal.archives-ouvertes.fr/hal-00707618

P. Roques and F. Vallée, UML 2 en action: de l'analyse des besoins à la conception, 2011.

D. T. Ross and K. E. Schoman-jr, Structured analysis for requirements definition . Software Engineering, IEEE Transactions on, issue.1, pp.6-15, 1977.
DOI : 10.1109/tse.1977.229899

M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik, Consistency checking of conceptual models via model merging. InRequirements Engineering Conference, pp.7-15, 2007.
DOI : 10.1109/re.2007.18
URL : http://www.cs.toronto.edu/~mehrdad/pub/RE07.pdf

A. W. Scheer, ARIS Toolset: A software product is born, Information Systems, vol.19, issue.8, pp.607-624, 1994.
DOI : 10.1016/0306-4379(94)90031-0

F. Schneider, H. Naughton, and B. Berenbach, A modeling language to support early lifecycle requirements modeling for systems engineering, Procedia Computer Science, vol.8, pp.201-206, 2012.
DOI : 10.1016/j.procs.2012.01.043
URL : https://doi.org/10.1016/j.procs.2012.01.043

K. Schwaber and M. Beedle, gilè Software Development with Scrum, 2002.

M. Scukanec, J. Gaasbeek, and . Van, A day in the life of a verification requirement, 2007.

S. J. Scukanec and J. R. Gaasbeek, A day in the life of a verification requirement, INCOSE International Symposium, pp.2524-2542, 2010.

H. Sharp, A. Finkelstein, and G. 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

A. Sinha, M. Kaplan, A. Paradkar, and C. Williams, Requirements Modeling and Validation Using Bi-layer Use Case Descriptions, Model Driven Engineering Languages and Systems, pp.97-112, 2008.
DOI : 10.1007/978-3-540-87875-9_7

. Sirius, Sirius Available at: https://eclipse.org/sirius, 2013.

T. Stålhane, S. Farfeleder, and O. Daramola, Safety analysis based on requirements, 2011.

J. Stapleton, DSDM: Dynamic Systems Development Method, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275), 1997.
DOI : 10.1109/TOOLS.1999.779095

A. Sutcliffe, Scenario-based requirements analysis. Requirements engineering, pp.48-65, 1998.

, The Standish Group, 2009.

, Available at: http://www.standishgroup.com, The Chaos Report

T. Tommila, A. Pakonen, and J. Valkonen, Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. InEnlarged Halden programme group meeting, pp.2013-2023, 2013.

. Treetagger, , 1994.

. Treetagger, Available at: http://www.cis.unimuenchen .de/~schmid

H. Vangheluwe and B. Meyers, Modelling Language Evolution, pp.1-29, 2014.

F. Vernadat, Techniques de modélisation en entreprise: applications aux processus opérationnels, Economica, 1999.

F. Vernadat, UEML: Towards a unified enterprise modelling language, International Journal of Production Research, vol.40, issue.17, pp.4309-4321, 2002.
DOI : 10.1016/0166-3615(94)90017-5
URL : https://hal.archives-ouvertes.fr/inria-00100684

M. Wikipédia and . Agile, Available at: https://fr.wikipedia.org/wiki/M%C3%A9thode_agile, 2015.

S. Williams, R. Power, and A. Third, How Easy Is It to Learn a Controlled Natural Language for Building a Knowledge Base?, Controlled Natural Language, pp.20-32, 2014.
DOI : 10.1007/978-3-319-10223-8_3
URL : http://arxiv.org/pdf/1406.2204.pdf

T. J. Williams, The Purdue enterprise reference architecture, Computers in Industry, vol.24, issue.2-3, pp.141-158, 1994.
DOI : 10.1016/0166-3615(94)90017-5

. Xtext, LANGUAGE DEVELOPMENT MADE EASY! Available at: https://eclipse, 2010.

R. Yan, C. H. Cheng, and Y. Chai, Formal Consistency Checking over Specifications in Natural Languages, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, pp.2015-1677, 2015.
DOI : 10.7873/DATE.2015.0452
URL : http://arxiv.org/pdf/1405.5003.pdf

T. Yue, L. C. Briand, and Y. 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.1016/j.infsof.2005.02.006
URL : https://link.springer.com/content/pdf/10.1007%2Fs00766-010-0111-y.pdf

M. Zelm, F. B. Vernadat, and K. Kosanke, The CIMOSA business modelling process, Computers in Industry, vol.27, issue.2, pp.123-142, 1995.
DOI : 10.1016/0166-3615(95)00018-2