Access content directly

Jean-Michel Bruel




The Role of Formalism in System Requirements

Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev et al.
ACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩
Journal articles hal-03261574v1
Image document

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

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Hyacinth Ali , Daniel Amyot et al.
IEEE Software, 2021, 38 (4), ⟨10.1109/MS.2020.2995125⟩
Journal articles hal-02612087v1
Image document

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

Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel , Maroun Koussaifi
Journal of Universal Computer Science, 2021, Advances and Challenges for Model and Data Engineering, 27 (7), pp.755 - 773. ⟨10.3897/jucs.70515⟩
Journal articles hal-03336164v1
Image document

Towards Model-Driven Sustainability Evaluation

Jörg Kienzle , Gunter Mussbacher , Benoit Combemale , Lucy Bastin , Nelly Bencomo et al.
Communications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Journal articles hal-02146543v2
Image document

Comparing and Classifying Model Transformation Reuse Approaches across Metamodels

Jean-Michel Bruel , Benoit Combemale , Esther M Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.
Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Journal articles hal-02317864v1
Image document

AutoReq: expressing and verifying requirements for control systems

Alexandr Naumchev , Bertrand Meyer , Manuel Mazzara , Florian Galinier , Jean-Michel Bruel et al.
Journal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩
Journal articles hal-02878938v1
Image document

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

Ileana Ober , Marc Palyart-Lamarche , Jean-Michel Bruel , David Lugato
Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩
Journal articles hal-02640704v1
Image document

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Manzoor Ahmad , Nicolas Belloir , Jean-Michel Bruel
Journal of Systems and Software, 2015, vol. 107, pp. 50-70. ⟨10.1016/j.jss.2015.05.028⟩
Journal articles hal-01278903v1
Image document

Modélisation des exigences en UML/SysML

Nicolas Belloir , Jean-Michel Bruel , Raphaël Faudou
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 111, pp.6-12
Journal articles hal-01085292v1

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard et al.
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles hal-02286673v1

Composition logicielle à l'aide de machines à état. UML et AADL.

Jean-Michel Bruel
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2007, pp.;
Journal articles hal-00389625v1

Components modeling in UML 2.

Jean-Michel Bruel , Ileana Ober
Studia Universitatis Babes-Bolyai. Informatica, 2006, pp.;
Journal articles hal-00399293v1

Développement basé composant : une approche centrée composition.

Nicolas Belloir , Jean-Michel Bruel
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2005, pp.59-80
Journal articles hal-00402339v1

Test Intégré Dans Les Composants Logiciels

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier
L'OBJET, 2004, 10 (1), pp.89-102. ⟨10.3166/objet.10.1.89-102⟩
Journal articles hal-01906779v1

Formalization of the Whole-Part Relationship in the Unified Modeling Language

Franck Barbier , Brian Henderson-Sellers , Annig Le Parc-Lacayrelle , Jean-Michel Bruel
IEEE Transactions on Software Engineering, 2003, 29 (5), pp.459-470. ⟨10.1109/TSE.2003.1199074⟩
Journal articles hal-01906781v1

Agrégation et Composition Dans UML. Révision Basée Sur La Théorie Tout-Partie

Franck Barbier , Annig Le Parc-Lacayrelle , Jean-Michel Bruel
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (10), pp.1343-1370
Journal articles hal-01906782v1
Image document

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

Yinling Liu , Jean-Michel Bruel
30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩
Conference papers hal-03941814v1
Image document

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

Ildar Nigmatullin , Andrey Sadovykh , Nan Messe , Sophie Ebersold , Jean-Michel Bruel et al.
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Conference papers hal-03781938v1
Image document

Examining Requirements Documentation through the Focused Conversation Method

Hamna Aslam , Alexandr Naumchev , Jean-Michel Bruel , Joseph Brown
29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
Conference papers hal-03435282v1
Image document

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

Grégory Alary , Nathalie Jane Hernandez , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel et al.
Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference, Nov 2020, virtual conference, Greece. pp.152-157
Conference papers hal-03120764v2
Image document

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

Ronan Baduel , Iulian Ober , Jean-Michel Bruel
35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩
Conference papers hal-02891673v1

Papyrus for gamers, let's play modeling

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti et al.
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event Canada, Canada. pp.1-5, ⟨10.1145/3417990.3422002⟩
Conference papers hal-03081980v1
Image document

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

Grégory Alary , Nathalie Jane Hernandez , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel et al.
22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩
Conference papers hal-02986555v2
Image document

Automated user-oriented description of emerging composite ambient applications

Maroun Koussaifi , Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel
31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Jul 2019, Lisbonne, Portugal. pp.473-478
Conference papers hal-02467549v1
Image document

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

Hugo Bruneliere , Romina Eramo , Abel Gomez , Valentin Besnard , Jean-Michel Bruel et al.
MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, Jun 2018, Toulouse, France. ⟨10.1007/978-3-030-04771-9_40⟩
Conference papers hal-01890878v1
Image document

Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox

Mohammad Chami , Aiste Aleksandraviciene , Aurelijus Morkevicius , Jean-Michel Bruel
Annual International Council on Systems Engineering Symposium (INCOSE 2018), Jul 2018, Washington DC, United States. pp.1463-1477
Conference papers hal-02124403v1
Image document

Model-Based Systems Engineering for Systems Simulation

Renan Leroux-Beaudout , Marc Pantel , Ileana Ober , Jean-Michel Bruel
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448
Conference papers hal-02124418v1

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

Ronan Baduel , Jean-Michel Bruel , Iulian Ober , Eddy Doba
12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France
Conference papers hal-02943016v1
Image document

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

Maroun Koussaifi , Sylvie Trouilhet , Jean-Paul Arcangeli , Jean-Michel Bruel
MSE (“Microservices: Science and Engineering”) Workshop (MSE@STAF 2018), Jun 2018, Toulouse, France
Conference papers hal-01815481v1
Image document

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

Jean-Michel Bruel , Benoit Combemale , Esther Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.
ICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Conference papers hal-01910113v1
Image document

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

Ronan Baduel , Mohammad Chami , Jean-Michel Bruel , Iulian Ober
European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Conference papers hal-01815510v1
Image document

A Survey on MBSE Adoption Challenges

Mohammad Chami , Jean-Michel Bruel
INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Conference papers hal-02124402v1
Image document

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

Florian Galinier , Sophie Ebersold , Jean-Michel Bruel
Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Conference papers hal-01815467v1
Image document

Reconciling Requirements and Continuous Integration in an Agile Context

Sébastien Mosser , Jean-Michel Bruel
2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada
Conference papers hal-01947831v1
Image document

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

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer
16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63
Conference papers hal-02864409v1
Image document

Modeling co-simulation : a first experiment

Renan Leroux-Beaudout , Ileana Ober , Marc Pantel , Jean-Michel Bruel
5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017) co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Sep 2017, Austin, TX, United States. pp.292-297
Conference papers hal-02603696v1
Image document

Towards a Methodological Tool Support for Modeling Security-Oriented Processes

Jacob Geisel , Brahim Hamid , David Gonzalez , Jean-Michel Bruel
6th International Conference On Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp. 31-41
Conference papers hal-01475034v1

Preface - OSS4MDE 2016

F. Bordeleau , J. Dingel , S. Voss , Jean-Michel Bruel , Sébastien Gerard et al.
Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France
Conference papers cea-01843178v1
Image document

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Anas Motii , Agnes Lanusse , Brahim Hamid , Jean-Michel Bruel
TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389
Conference papers hal-01485025v1
Image document

Towards the integration of security patterns in UML Component-based Applications

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France
Conference papers cea-01810097v1
Image document

Towards a MARTE Extension to Address Adaptation Mechanisms

Mohamed Naija , Jean-Michel Bruel , Samir Ben Ahmed
17th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.240-243
Conference papers hal-02348228v1
Image document

Guiding the selection of security patterns for real-time systems

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel
21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp. 155-164, ⟨10.1145/2855321.2855332⟩
Conference papers hal-01682979v1
Image document

Modeling for Sustainability

Benoit Combemale , Betty H.C. Cheng , Ana Moreira , Jean-Michel Bruel , Jeff Gray et al.
Modeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Conference papers hal-01517387v3
Image document

Security Concepts as Add-On for Process Models

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Conference papers hal-01316833v1

Papyrus for education

Jean-Michel Bruel , B. Maggi , C. Letavernier
2nd International Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2015, Sep 2015, Ottawa, Canada. pp.38-43
Conference papers cea-01844045v1
Image document

Guiding the selection of security patterns based on security requirements and pattern classification

Anas Motii , Brahim Hamid , Agnes Lanusse , Jean-Michel Bruel
20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-17
Conference papers hal-01567086v1
Image document

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach

Mohammad Chami , Jean-Michel Bruel
International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
Conference papers hal-01327102v1
Image document

MDE in Practice for Computational Science

Jean-Michel Bruel , Benoit Combemale , Ileana Ober , Hélène Raynal
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
Conference papers hal-01141393v1
Image document

The relevance of model-driven engineering thirty years from now

Gunter Mussbacher , Daniel Amyot , Ruth Breu , Jean-Michel Bruel , Betty Cheng et al.
17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Conference papers hal-01156595v1
Image document

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Nicolas Belloir , Vanea Chiprianov , Manzoor Ahmad , Manuel Munier , Laurent Gallon et al.
ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32
Conference papers hal-01082400v1
Image document

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur

Fernando Wanderley , Nicolas Belloir , Jean-Michel Bruel , Nabil Hameurlain , João Araújo et al.
Inforsid 2014, May 2014, Lyon, France. pp.113-128
Conference papers hal-01084878v1
Image document

On the use of graph transformations for model composition traceability

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel
8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Conference papers hal-01387730v1
Image document

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

Manzoor Ahmad , Iulia Dragomir , Jean-Michel Bruel , Iulian Ober , Nicolas Belloir et al.
SIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Conference papers hal-01085410v1
Image document

Self-adaptive systems requirements modelling: Four related approaches comparison

M Ahmad , João Araújo , Nicolas Belloir , Jean-Michel Bruel , Christophe Gnaho et al.
Comparing *Requirements* Modeling Approaches (CMA@RE) workshop in the field of 21st IEEE International Requirements Engineering Conference, Jul 2013, Rio de Janeiro, Brazil. pp.37 - 42, ⟨10.1109/CMA-RE.2013.6664183⟩
Conference papers hal-01084985v1
Image document

Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns

Brahim Hamid , Jacob Geisel , Adel Ziani , Jean-Michel Bruel , Jon Perez et al.
16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90
Conference papers hal-01240715v1
Image document

How to Analyze Modeling Approach Comparison Criteria

Frédéric Mayart , Jean-Michel Bruel , Brahim Hamid
Comparing Modeling Approaches Workshop - CMA 2013, Oct 2013, Miami, United States. pp. 1-3
Conference papers hal-01143229v1
Image document

A Model-based Repository of Security and Dependability Patterns for Trusted RCES

Adel Ziani , Brahim Hamid , Jacob Geisel , Jean-Michel Bruel
IEEE International Conference on Information Reuse and Integration (IRI), Aug 2013, San Francisco, United States. pp. 448-457
Conference papers hal-01146705v1

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling

Manzoor Ahmad , Jean-Michel Bruel , Régine Laleau , Christophe Gnaho
International Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. pp.474-481
Conference papers hal-01224634v1
Image document

HPCML: A Modeling Language Dedicated to High-Performance Scientific Computing

Marc Palyart , David Lugato , Ileana Ober , Jean-Michel Bruel
1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Feb 2012, Innsbruck, Austria. pp.1
Conference papers hal-00761340v1
Image document

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks

Marc Palyart , David Lugato , Ileana Ober , Jean-Michel Bruel
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2011, Wellington, New Zealand. pp.213-227
Conference papers hal-00760410v1

Utilisation de SysML pour la modélisation des réseaux de capteurs

Nicolas Belloir , Jean-Michel Bruel , Cong-Duc Pham
14e LM0 2008, 2008, Montréal, Québec, Canada. pp
Conference papers hal-00366919v1

Implémentation d'un modèle UML de composition hiérarchique.

Nicolas Belloir , Jean-Michel Bruel , Eric Cariou
In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;
Conference papers hal-00395686v1

Component Based Development : a Composition Oriented Approach

Nicolas Belloir , Jean-Michel Bruel
5th International Conference on Research, Innovation and Vision fot the Futur, Mar 2007, Hanoi, Vietnam. pp.;
Conference papers hal-00390408v1

Observability and Controllability of Wireless Software Components

F. Romeo , Franck Barbier , Jean-Michel Bruel
7th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2007, Paphos, Cyprus. pp.;
Conference papers hal-00389747v1

Autonomic Management of Component-Based Embedded Software

F. Romeo , Franck Barbier , Jean-Michel Bruel
10th IFIP/IEEE Symposium on Integrated Management, May 2007, Munich, Germany. pp.;
Conference papers hal-00390406v1

Aspect-based Testing of COTS Components

Jean-Michel Bruel , Albert Royer
GI, 2006, Germany. pp.;
Conference papers hal-00408551v1

Application de La Théorie de La Relation Tout-Partie à La Composition de Composants Logiciels

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier
Actes Du XXIème Congrès INFORSID, Nancy, France, 24-27 Mai, 2003, May 2003, Nancy, France. pp.35-50
Conference papers hal-01908736v1

Whole-Part Relationships for Software Component Combination

Nicolas Belloir , Jean-Michel Bruel , Franck Barbier
29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey, Sep 2003, Belek-Antalya, Turkey. pp.86-93, ⟨10.1109/EURMIC.2003.1231571⟩
Conference papers hal-01908735v1

Incorporation of Test Functionality into Software Components

Franck Barbier , Nicolas Belloir , Jean-Michel Bruel
COTS-Based Software Systems, Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003, Proceedings, Feb 2003, Ottawa, Canada. pp.25-35, ⟨10.1007/3-540-36465-X\_3⟩
Conference papers hal-01908737v1

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition

Jean-Michel Bruel , Brian Henderson-Sellers , Franck Barbier , Annig Le Parc-Lacayrelle , Robert B. France et al.
OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings, Aug 2001, Calgary, Canada. pp.5-14
Conference papers hal-01909114v1

Repository-Centric Process Modeling - Example of a Pattern Based Development Process

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel
Lee, Roger. Software Engineering Research, Management and Applications, 16, Springer, pp.247--261, 2014, Studies in Computational Intelligence book series (SCI), 978-3-319-00947-6. ⟨10.1007/978-3-319-00948-3_16⟩
Book sections hal-03266923v1

OOIS'02: Advances in Object-Oriented Information Systems

Jean-Michel Bruel , Zohra Bellahsene
n.d., 2426, Springer, pp.314, 2002, Lecture Notes in Computer Science, 3-540-44088-7
Book sections lirmm-00268658v1
Image document

Emergence of Composite Services in Smart Environments

Maroun Koussaifi , Walid Younes , Françoise Adreit , Jean-Paul Arcangeli , Jean-Michel Bruel et al.
8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Conference poster hal-02280356v1
Image document

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

Maroun Koussaifi , Jean-Paul Arcangeli , Sylvie Trouilhet , Jean-Michel Bruel
[Research Report] IRIT/RR–2020–06–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2020
Reports hal-03120776v1
Image document

A Comparative Study of RELAX and SysML/KAOS

Manzoor Ahmad , Jean-Michel Bruel
[Rapport de recherche] IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-10
Reports hal-03260606v1