{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:54:07Z","timestamp":1760151247340,"version":"build-2065373602"},"reference-count":64,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software"],"abstract":"<jats:p>Among the software engineering development phases, requirements engineering is the one that has the most impact on project success or failure. To be executed in various contexts, there is an important need for flexibility and efficient tool support. A flexible requirements engineering method should include several levels allowing for more or less completeness and precision. Some project contexts would need a lightweight activity using structured natural language but still being guided and grounded partly on professional standards. Some more advanced projects would need more complete requirements documents and would benefit from a description language based on scientific notions allowing for better precision for specific system operations. Some business or safety critical systems would need an approach allowing for requirements simulation and verification. Requirements engineering education is an important objective to prepare future engineers to understand those requirements engineering needs and be prepared for practice in a professional setting. In the last five years, we have developed a requirements engineering method called Messir with a tool Excalibur and experiments in academia have been made to see how it was solving actual software engineering problems focusing first on requirements engineering education. Messir components represent in themselves some improvements w.r.t. the state of the art of the \u201cstandard\u201d theories, methods and tools, mainly by introducing an improved requirements engineering process, language and verification support based on executable requirements specifications. Furthermore, the Messir approach solves also some actual problems related to software engineering education by offering a product line framework for setting up or improving courses in computer science curricula. The main result being to contribute to develop the software engineering capabilities of engineers and scientists that feed the job market in industry, research or education.<\/jats:p>","DOI":"10.3390\/software1010005","type":"journal-article","created":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T10:21:16Z","timestamp":1646648476000},"page":"80-106","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The MESSIR Flexible Scientific Approach to Requirements Engineering"],"prefix":"10.3390","volume":"1","author":[{"given":"Nicolas","family":"Guelfi","sequence":"first","affiliation":[{"name":"Faculty of Sciences, Technology and Medicine, Department of Computer Science, University of Luxembourg, L-4362 Esch-sur-Alzette, Luxembourg"}]}],"member":"1968","published-online":{"date-parts":[[2022,3,7]]},"reference":[{"unstructured":"Bauer, F.L. (1971). Software Engineering: 1. Foundations and Systems. International Federation for Information Processing: IFIP Congress Series, UNESDOC Digital Library.","key":"ref_1"},{"doi-asserted-by":"crossref","unstructured":"Humphrey, W.S. (1989). Managing the Software Process, AddisonWesley.","key":"ref_2","DOI":"10.21236\/ADA469159"},{"unstructured":"ISO\/IEC (2014). Software Engineering\u2014Guide to the Software Engineering Body of Knowledge (SWEBOK), International Organization for Standardization. ISO-IEC TR 19759-2014.","key":"ref_3"},{"unstructured":"Abrial, J.R., and Hoare, A. (2005). The B-Book: Assigning Programs to Meanings, Cambridge University Press.","key":"ref_4"},{"unstructured":"Spivey, J.M. (1992). The Z Notation: A Reference Manual. International Series in Computer Science, Prentice Hall.","key":"ref_5"},{"doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D. (1979). The vienna development method (VDM). Mathematical Studies of Information Processing, Springer.","key":"ref_6","DOI":"10.1007\/3-540-09541-1_33"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, i","volume":"100","author":"Milner","year":"1992","journal-title":"Inf. Comput."},{"unstructured":"Petri, C.A. (2022, January 01). Kommunikation Mit Automaten. Universitat Hamburg. Available online: https:\/\/edoc.sub.uni-hamburg.de\/informatik\/volltexte\/2011\/160\/pdf\/diss_petri_d.pdf.","key":"ref_8"},{"unstructured":"ISO\/IEC (2012). Information Technology\u2014Object Management Group Unified Modeling Language OMG UML\u2014Part 1: Infrastructure, International Organization for Standardization. ISO\/IEC 19505-1-2012.","key":"ref_9"},{"unstructured":"Kruchten, P. (2004). The Rational Unified Process: An Introduction, Addison-Wesley Professional.","key":"ref_10"},{"unstructured":"Kim, D. (2022, January 01). The State of Scrum: Benchmarks and Guidelines. Available online: https:\/\/www.scrumalliance.org\/ScrumRedesignDEVSite\/media\/ScrumAllianceMedia\/Files%20and%20PDFs\/State%20of%20Scrum\/2013-State-of-Scrum-Report_062713_final.pdf.","key":"ref_11"},{"unstructured":"Beck, K. (2000). Extreme Programming Explained: Embrace Change, Addison-Wesley Longman Publishing Co., Inc.","key":"ref_12"},{"doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., and Havelund, K. (2014). 40 years of formal methods. International Symposium on Formal Methods, Springer.","key":"ref_13","DOI":"10.1007\/978-3-319-06410-9_4"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3464938","article-title":"The Agile Success Model: A Mixed Methods Study of a Large-Scale Agile Transformation","volume":"30","author":"Russo","year":"2021","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/MS.2009.119","article-title":"A Critical Look at Software Capability Evaluations: An Update","volume":"26","author":"Bollinger","year":"2009","journal-title":"Softw. IEEE"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"2298","DOI":"10.1007\/s10664-016-9451-7","article-title":"Naming the pain in requirements engineering","volume":"22","author":"Wagner","year":"2017","journal-title":"Empir. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Verner, J., Cox, K., Bleistein, S., and Cerpa, N. (2015). Requirements engineering and software project success: An industrial survey in Australia and the US. Australas. J. Inf. Syst., 13.","key":"ref_17","DOI":"10.3127\/ajis.v13i1.73"},{"doi-asserted-by":"crossref","unstructured":"Jacobson, I., Ng, P.W., McMahon, P.E., and Goedicke, M. (2019). The Essentials of Modern Software Engineering: Free the Practices from the Method Prisons!, Morgan & Claypool.","key":"ref_18","DOI":"10.1145\/3277669.3277673"},{"unstructured":"OMG (2022, January 01). Model Driven Architecture (MDA), MDA Guide rev. 2.0 ormsc\/2014-06-01, Version 1.2. Available online: http:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/14-06-01.pdf.","key":"ref_19"},{"unstructured":"OMG (2022, January 01). MOF 2.0 Core Final Adopted Specification. Available online: https:\/\/www.omg.org\/spec\/MOF\/2.0\/PDF.","key":"ref_20"},{"unstructured":"ISO\/IEC (2012). Information Technology\u2014Object Management Group Unified Modeling Language (OMG UML)\u2014Part 2: Superstructure, International Organization for Standardization. ISO\/IEC 19507:2012.","key":"ref_21"},{"unstructured":"Eclipse (2022, January 01). The Eclipse Fondation. Available online: http:\/\/www.eclipse.org.","key":"ref_22"},{"unstructured":"Xtext (2022, January 01). Xtext\u2014Language Development Made Easy. Available online: http:\/\/www.eclipse.org\/Xtext\/.","key":"ref_23"},{"unstructured":"Sirius (2022, January 01). Sirius\u2014The Easiest Way to Get Your Own Modeling Tool. Available online: http:\/\/www.eclipse.org\/sirius\/.","key":"ref_24"},{"unstructured":"SICS (2022, January 01). SICStus Prolog\u2014ISO Standard Compliant Prolog Development System. Available online: https:\/\/sicstus.sics.se\/.","key":"ref_25"},{"unstructured":"SEI, C.P. (2010). CMMI for Development (CMMI-DEV), Software Engineering Institute, Carnegie Mellon University. CMU\/SEI-2010-TR-033.","key":"ref_26"},{"unstructured":"CMMI Institute (2022, January 01). CMMI Appraisal Results. Available online: https:\/\/sas.cmmiinstitute.com\/pars\/pars.aspx.","key":"ref_27"},{"unstructured":"NDIA Systems Engineering Division (2015, July 05). CMMI Status Report. Available online: http:\/\/www.ndia.org\/Divisions\/Divisions\/SystemsEngineering\/Documents\/Past%20Meetings\/Division%20Meeting%20-%20June%202011\/NDIA%20SED%20June%202011CMMI%20Status%20v1.pdf.","key":"ref_28"},{"unstructured":"Salman, R.H. (2014). Exploring Capability Maturity Models and Relevant Practices as Solutions Addressing IT Service Offshoring Project Issues. [Ph.D. Thesis, Portland State University].","key":"ref_29"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.jss.2014.03.041","article-title":"A critical examination of recent industrial surveys on agile method usage","volume":"94","author":"Stavru","year":"2014","journal-title":"J. Syst. Softw."},{"doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, P., Markkula, J., Oivo, M., and Turula, K. (2012, January 20\u201321). Survey on agile and LEAN usage in Finnish software industry. Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, Lund, Sweden.","key":"ref_31","DOI":"10.1145\/2372251.2372275"},{"unstructured":"VersionOne (2015). 9th Annual State of Agile Survey, Available online: https:\/\/www.watermarklearning.com\/downloads\/state-of-agile-development-survey.pdf.","key":"ref_32"},{"unstructured":"VersionOne (2012). 6th Annual State of Agile Survey, Available online: https:\/\/digital.ai\/resource-center\/analyst-reports\/state-of-agile-report.","key":"ref_33"},{"doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., and Kristoffersen, S. (2011, January 21\u201328). Empirical assessment of MDE in industry. Proceedings of the 33rd International Conference on Software Engineering, Waikiki, HI, USA.","key":"ref_34","DOI":"10.1145\/1985793.1985858"},{"unstructured":"ISO\/IEC (2005). Software Engineering\u2014Guide to the Software Engineering Body of Knowledge (SWEBOK), International Organization for Standardization. ISO-IEC TR 19759-2005.","key":"ref_35"},{"unstructured":"ACM\/IEEE-CS Joint Task Force on Computing Curricula (2013). Computer Science Curricula 2013, Available online: https:\/\/www.acm.org\/binaries\/content\/assets\/education\/cs2013_web_final.pdf.","key":"ref_36"},{"unstructured":"ACM\/IEEE (2015). Software Engineering 2014\u2014Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering, ACM.","key":"ref_37"},{"unstructured":"Pyster, A. (2009). Graduate Software Engineering 2009 (GSwE2009) Curriculum Guidelines for Graduate Degree Programs in Software Engineering, Stevens Institute of Technology.","key":"ref_38"},{"unstructured":"Guelfi, N., Capozucca, A., and Ries, B. (2016, January 25). Measuring the SWEBOK Coverage: An Approach and a Tool. Proceedings of the SWEBoK Evolution\u2014Virtual Town Hall Meeting, Virtual Event. Virtual presentation of accepted peer reviewed paper.","key":"ref_39"},{"unstructured":"UNESCO (2012). International Standard Classification of Education (ISCED) 2011, UNESCO Institute for Statistics.","key":"ref_40"},{"unstructured":"U.S. Bureau of Labor Statistics (2015, July 05). Employment Projections, Available online: http:\/\/www.bls.gov\/emp\/ep_table_102.htm.","key":"ref_41"},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3306607","article-title":"Status quo in requirements engineering: A theory and a global family of surveys","volume":"28","author":"Wagner","year":"2019","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"doi-asserted-by":"crossref","unstructured":"Fricker, S.A., Grau, R., and Zwingli, A. (2015). Requirements engineering: Best practice. Requirements Engineering for Digital Health, Springer.","key":"ref_43","DOI":"10.1007\/978-3-319-09798-5_2"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/08993408.2018.1462000","article-title":"Teaching UML and OCL models and their validation to software engineering students: An experience report","volume":"28","author":"Vallecillo","year":"2018","journal-title":"Comput. Sci. Educ."},{"unstructured":"Gogolla, M., and Hilken, F. (2016). Model validation and verification options in a contemporary UML and OCL analysis tool. Modellierung 2016, Gesellschaft f\u00fcr Informatik.","key":"ref_45"},{"doi-asserted-by":"crossref","unstructured":"Burgue\u00f1o, L., Izquierdo, J.L.C., and Planas, E. (2021, January 10\u201315). An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course. Proceedings of the 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Fukuoka, Japan.","key":"ref_46","DOI":"10.1109\/MODELS-C53483.2021.00115"},{"unstructured":"ISO\/IEC (2011). Systems and Software Engineering\u2014Life Cycle Processes\u2014Requirements Engineering, International Organization for Standardization. ISO\/IEC\/IEEE 29148:2011.","key":"ref_47"},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"103363","DOI":"10.1016\/j.csi.2019.103363","article-title":"How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus","volume":"67","author":"Planas","year":"2020","journal-title":"Comput. Stand. Interfaces"},{"unstructured":"Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., and Jeremaes, P. (1994). Object-Oriented Development: The FUSION Method, Prentice-Hall, Inc.","key":"ref_49"},{"key":"ref_50","first-page":"25","article-title":"Evolutionary fusion: A customer-oriented incremental life cycle for fusion","volume":"47","author":"Cotton","year":"1996","journal-title":"Hewlett Packard J."},{"unstructured":"Guelfi, N., Capozucca, A., and Ries, B. (2017, August 23). Website of the Messir Method and the Excalibur Environment. Available online: https:\/\/messir.uni.lu\/confluence\/display\/MES\/Messir+Requirements+Analysis+Methodology.","key":"ref_51"},{"doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Al Abed, W., Alam, O., Ali, S., Beugnard, A., Bonnet, V., Br\u00e6k, R., Capozucca, A., Cheng, B.H., and Fatima, U. (2012). Comparing six modeling approaches. Models in Software Engineering, Springer.","key":"ref_52","DOI":"10.1007\/978-3-642-29645-1_22"},{"doi-asserted-by":"crossref","unstructured":"Kienzle, J., Guelfi, N., and Mustafiz, S. (2010). Crisis management systems: A case study for aspect-oriented modeling. Transactions on Aspect-Oriented Software Development VII, Springer.","key":"ref_53","DOI":"10.1007\/978-3-642-16086-8_1"},{"unstructured":"Guelfi, N. (2022). Messir Tutorial, University of Luxembour. Technical Report.","key":"ref_54"},{"unstructured":"Jacobson, I., Christerson, M., Jonsson, P., and Overgaard, G. (1992). Object-Oriented Software Engineering. A Use Case Driven Approach, Addison-Wesley Pub.. c1992, Revised Printing.","key":"ref_55"},{"unstructured":"Cockburn, A. (2001). Writing Effective Use Cases, Addison-Wesley.","key":"ref_56"},{"unstructured":"Armour, F., and Miller, G. (2001). Advanced Use Case Modeling: Software Systems, Addison-Wesley.","key":"ref_57"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1018990005598","article-title":"The meaning of requirements","volume":"3","author":"Jackson","year":"1997","journal-title":"Ann. Softw. Eng."},{"unstructured":"Capozucca, A., and Ries, B. (2017, August 23). Website of the Excalibur Workbench for Messir. Available online: https:\/\/messir.uni.lu\/confluence\/display\/EXCALIBUR\/Excalibur.","key":"ref_59"},{"unstructured":"ISO\/IEC (2011). ISO\/IEC 25010\u2014Systems and Software Engineering\u2014Systems and Software Quality Requirements and Evaluation (SQuaRE)\u2014System and Software Quality Models, ISO. ISO\/IEC 13211-1.","key":"ref_60"},{"key":"ref_61","first-page":"294","article-title":"A formal framework for dependability and resilience from a software engineering perspective","volume":"1","author":"Guelfi","year":"2011","journal-title":"Cent. Eur. J. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Ries, B., Capozucca, A., and Guelfi, N. (2018, January 5\u20136). Messir: A text-first DSL-based approach for UML requirements engineering (tool demo). Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, Boston, MA, USA.","key":"ref_62","DOI":"10.1145\/3276604.3276614"},{"unstructured":"Heiman, R. (2010). IDC\u2019s Software Taxonomy 2010. International Data Corporation, International Data Corporation.","key":"ref_63"},{"unstructured":"Bloom, B.S., and Krathwohl, D.R. (1956). Taxonomy of educational objectives: The classification of educational goals. Handbook I: Cognitive Domain, Longman Eds.","key":"ref_64"}],"container-title":["Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2674-113X\/1\/1\/5\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:33:10Z","timestamp":1760135590000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2674-113X\/1\/1\/5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,7]]},"references-count":64,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2022,3]]}},"alternative-id":["software1010005"],"URL":"https:\/\/doi.org\/10.3390\/software1010005","relation":{},"ISSN":["2674-113X"],"issn-type":[{"type":"electronic","value":"2674-113X"}],"subject":[],"published":{"date-parts":[[2022,3,7]]}}}