In the scientific community, feature models are the de-facto standard for representing
variability in software product line engineering. This is different from industrial settings where …

Modern software systems must support a high degree of variability to accommodate a wide
range of requirements and operating conditions. This paper introduces the Abstract …

Event-B is a formal method, based on set theory and first-order logic, for specification and
verification of reactive systems supported by the Rodin tool kit. Feature modelling is a well …

The HATS project aims at developing a model-centric engineering methodology for the
design, implementation and verification of distributed, concurrent and highly configurable …

Programming languages suitable for distributed computation contain constructs that should
map well to the structure of the underlying system executing the programs, while being …

Control and command softwares play a key role in safety-critical embedded systems used
for human related activities such as transportation, healthcare or energy. Their impact on …

The following sections briefly discuss the problem that we are studying and the focus of our
research. Moreover, we outline the approach that we have chosen to tackle this problem …

Una malla es una discretización de la geometría de un cierto dominio. Las mallas pueden
estar compuestas de diversos elementos: triángulos, cuadriláteros, tetraedros, etc. Una …

Higher educational institutions such as universities provide campus data and information to
stakeholders such as students, faculty staff, administrators, media, and community members …

Resumé Les fonctions de commande et de contrôle sont parmi les plus importantes des
systèmes embarqués critiques utilisés dans des activités telles les transports, la santé ou la …