Abstract: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 “standard” 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.

Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)

The MESSIR Flexible Scientific Approach to Requirements Engineering

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze

A Rapid Prototyping Language Workbench for Textual DSLs based on Xtext: Vision and Progress

Language-Driven Engineering An Interdisciplinary Software Development Paradigm

An MDE-based Method for Bridging Different Design Notations

Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (ReqIF)

Efficient Editor Generation for Compositional DSLs in Eclipse

Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines

Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol

From Design to Code: an Educational Approach

A transformation approach for collaboration based requirement models

A Domain-Specific Language for Verifying Software Requirement Constraints

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation

AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models

Multilevel coupled model transformations for precise and reusable definition of model behaviour

Automatic builder of class diagram (ABCD): an application of UML generation from functional requirements

ProcDSL + ProcEd - a Web-based Editing Solution for Domain Specific Process-Engineering