Publications | Sm@RT Research Team

Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage

Add the full text or supplementary notes for the publication here using Markdown formatting.

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Add the full text or supplementary notes for the publication here using Markdown formatting.

Modelling and Verification of Natural Language Requirements based on States and Modes

Add the full text or supplementary notes for the publication here using Markdown formatting.

Special Issue on New Paradigms of Software Production and Deployment

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain

Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision Paper

Add the full text or supplementary notes for the publication here using Markdown formatting.

The Role of Formalism in System Requirements

A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …

Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

At the heart of cyber-physical and ambient systems, the user should permanently benefit from applications adapted to the situation and …

Examining Requirements Documentation through the Focused Conversation Method

Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant

Using Comp-O to Build and Describe Component-Based Services

Towards an Assessment Grid for Intelligent Modeling Assistance

Modélisation et exécution flexible de processus collaboratifs

Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles

Comp-O: an OWL-S Extension for Composite Service Description

Une approche IDM pour l'alignement collaboratif de modèles hétérogènes

Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering

Modeling and verification method for an early evaluation of Systems of Systems interactions

This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps …

Toward model-driven sustainability evaluation

The Software Language Extension Problem

Runtime Monitoring for Executable DSLs

Papyrus for Gamers, Let's Play Modeling

Gamification refers to the exploitation of gaming mechanisms for serious purposes, like learning hard-to-train skills such as …

Opportunities in Intelligent Modeling Assistance

Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study

Modeling and verification method for an early evaluation of systems of systems interactions

Live Modeling in the Context of State Machine Models and Code Generation

Comparing and classifying model transformation reuse approaches across metamodels

Automatic generation of Truffle-based interpreters for Domain-Specific Languages

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

A Formalization of Group Decision Making in Multi-Viewpoints Design

From DSL Specification to Interactive Computer Programming Environment

Live-UMLRT: A Tool for Live Modeling of UML-RT Models

Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges

An integrated model-based early validation approach for railway systems

Seamless Object-Oriented Requirements

Automated user-oriented description of emerging composite ambient applications

Ambient environments consist of components surrounding the user and offering services. Applications can here be composed …

Using Patterns to parameterize the execution of Collaborative Tasks

A collaborative decision approach for alignment of heterogeneous models

A Pattern-based Process Management System to flexibly execute Collaborative Tasks

AutoReq: expressing and verifying requirements for control systems

The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …

AutoReq: expressing and verifying requirements for control systems

The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …

Approximate Loop Unrolling

Towards an Anatomy of Software Requirements

Towards a Model-Based DevOps for Cyber-Physical Systems

The JOT Journal: Towards a Rising Generation

Reflections on Teaching Formal Methods for Software Development in Higher Education

MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data

Formal Semantics of Requirements Relationships for Traceability

Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges

A Unifying Framework for Homogeneous Model Composition

Shape-Diverse DSLs: Languages without Borders (Vision Paper)

Modular Language Composition for the Masses

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

A Survey on MBSE Adoption Challenges

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap

This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called …

Model-Based Systems Engineering for Systems Simulation

Using semantic perimeters with ontologies to evaluate the semantic similarity of scientific papers

Reverse engineering language product lines from existing DSL variants

Reconciling Requirements and Continuous Integration in an Agile Context

On the use of models for high-performance scientific computing applications: an experience report

This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) …

How to handle environmental uncertainty in goal-based requirements engineering

The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements …

Emergence of Composite Services in Smart Environments

In this poster we summarize our innovative approach called opportunistic composition: using a bottom-up approach, composite services …

Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment

By nature, Cyber-physical systems are very often submitted to uncertainty events that can occur in their environment. This paper …

Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox

Towards a collaborative matching approach to relate sustainable cities design models (poster)

Seamless development of complex systems: a multirequirements approach

Emergence of Composite Services in Smart Environments

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

La traçabilité et l’intégration des exigences au court du cycle de vie d’un système informatique est un enjeu majeur de …

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an …

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach

Ambient and mobile systems consist of networked devices and software components surrounding human users and providing services. From …

Trace Comprehension Operators for Executable DSLs

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap

Model Transformation Reuse across Metamodels - A classification and comparison of approaches

Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France)

Definition of states and modes as general concepts for system design and validation

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach

Collaborative Processes Management: from Modeling to Enacting

Collaborative model-based matching of heterogeneous models

Heterogeneous design models alignment: from matching to consistency management

Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model

Omniscient Debugging for Executable DSLs

Model driven consistency for heterogeneous models

AHM: Handling heterogeneous models matching and consistency via MDE

On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report

This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) …

Ontology-based approach to enhance medical web information extraction

Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering

Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering

A new multi-criteria decision process to prioritise requirements

Modeling Co-simulation: A First Experiment

Model-Based Systems Engineering plays a key role in managing the complexity in the development of modern cyber-physical systems. Model …

A contract-based method to specify stimulus-response requirements

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the …

Intégration des (multi-)exigences tout au long du développement des systèmes complexes

A contract-based method to specify stimulus-response requirements

Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016)

Spem4mde : Un métamodèle et un environnement pour la modélisation et la mise en øeuvre assistée de processus IDM

Dedal-CDL: Modeling First-class Architectural Changes in Dedal