1

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) …
PDF
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 a collaborative matching approach to relate sustainable cities design models (poster)
PDF Cite
Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox
PDF Cite
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 …
PDF
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 …
PDF
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 …
PDF
Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
PDF Cite
Definition of states and modes as general concepts for system design and validation
PDF Cite
Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France)
PDF Cite