Accéder directement au contenu

Jean-Michel Bruel

90
Documents

Présentation

Publications

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

Thuy Nguyen , Imen Sayar , Sophie Ebersold , Jean-Michel Bruel
Software and Systems Modeling, 2024, ⟨10.1007/s10270-023-01142-0⟩
Article dans une revue hal-04525414v1
Image document

Modeling and verification of natural language requirements based on states and modes

Yinling Liu , Jean-Michel Bruel
Formal Aspects of Computing, inPress, ⟨10.1145/3640822⟩
Article dans une revue hal-04446384v1
Image document

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

Maria Naumcheva , Sophie Ebersold , Alexandr Naumchev , Jean-Michel Bruel , Florian Galinier
The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Article dans une revue hal-04128273v1

Gamifying model-based engineering: The PapyGame tool

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti
Science of Computer Programming, 2023, 230, pp.102974. ⟨10.1016/j.scico.2023.102974⟩
Article dans une revue hal-04151391v1

The Role of Formalism in System Requirements

Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev
ACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue hal-04278226v1

The Role of Formalism in System Requirements

Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev
ACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue 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
IEEE Software, 2021, 38 (4), ⟨10.1109/MS.2020.2995125⟩
Article dans une revue 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⟩
Article dans une revue hal-03336164v1
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
Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Article dans une revue hal-02317864v1
Image document

Towards Model-Driven Sustainability Evaluation

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

AutoReq: expressing and verifying requirements for control systems

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

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

Ileana Ober , Marc Palyart , Jean-Michel Bruel , David Lugato
Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Article dans une revue 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.;
Article dans une revue hal-00389625v1

Components modeling in UML 2.

Jean-Michel Bruel , Ileana Ober
Studia Universitatis Babes-Bolyai. Informatica, 2006, pp.;
Article dans une revue 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
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue hal-01906782v1
Image document

Finding behavioral indicators from contextualized commits in software engineering courses with process mining

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre
2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩
Communication dans un congrès hal-04332205v1
Image document

Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre
18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩
Communication dans un congrès hal-04347305v1
Image document

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

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre
11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79
Communication dans un congrès hal-04144980v1
Image document

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

Ildar Nigmatullin , Andrey Sadovykh , Nan Messe , Sophie Ebersold , Jean-Michel Bruel
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Communication dans un congrès hal-03781938v1
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⟩
Communication dans un congrès hal-03941814v1
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
Communication dans un congrès hal-03435282v1
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⟩
Communication dans un congrès hal-02891673v1
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
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
Communication dans un congrès hal-03120764v2
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
22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩
Communication dans un congrès hal-02986555v2

Papyrus for gamers, let's play modeling

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti
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⟩
Communication dans un congrès hal-03081980v1
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
Communication dans un congrès hal-02467549v1

Towards an Anatomy of Software Requirements

Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev
51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩
Communication dans un congrès hal-04182587v1
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
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⟩
Communication dans un congrès hal-01910113v1
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
Communication dans un congrès hal-01947831v1
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
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⟩
Communication dans un congrès 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
Communication dans un congrès hal-02124403v1

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
Communication dans un congrès hal-02943016v1
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
Communication dans un congrès hal-02124418v1
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
Communication dans un congrès hal-01815481v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01815467v1
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
Communication dans un congrès hal-02603696v1
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
Communication dans un congrès hal-02864409v1
Image document

Seamless Integration of Multirequirements in Complex Systems

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer
25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Communication dans un congrès hal-03656674v1
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
Communication dans un congrès cea-01810097v1
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
Communication dans un congrès hal-01485025v1
Image document

Modeling for Sustainability

Benoit Combemale , Betty H.C. Cheng , Ana Moreira , Jean-Michel Bruel , Jeff Gray
Modeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès hal-01517387v3
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⟩
Communication dans un congrès hal-01682979v1

Preface - OSS4MDE 2016

F. Bordeleau , J. Dingel , S. Voss , Jean-Michel Bruel , Sébastien Gerard
Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France
Communication dans un congrès cea-01843178v1
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
Communication dans un congrès hal-01475034v1
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
Communication dans un congrès hal-02348228v1
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⟩
Communication dans un congrès hal-01141393v1
Image document

A Generic Traceability Framework for Model Composition Operation

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel
16th International Conference on Business Process Modeling, Development, and Support (BPMDS 2015) @ CAiSE 2015, Jun 2015, Stockholm, Sweden. pp.461-475, ⟨10.1007/978-3-319-19237-6_29⟩
Communication dans un congrès hal-04077763v1

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
Communication dans un congrès 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
Communication dans un congrès hal-01567086v1
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
Communication dans un congrès hal-01316833v1
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
Communication dans un congrès hal-01327102v1
Image document

The relevance of model-driven engineering thirty years from now

Gunter Mussbacher , Daniel Amyot , Ruth Breu , Jean-Michel Bruel , Betty Cheng
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⟩
Communication dans un congrès 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
ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32
Communication dans un congrès 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
Inforsid 2014, May 2014, Lyon, France. pp.113-128
Communication dans un congrès 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
Communication dans un congrès 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
SIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Communication dans un congrès hal-01085410v1
Image document

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

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel
11th International Conference on Software Engineering Research, Management and Applications (SERA 2013), Aug 2013, Prague, Czech Republic. pp.247-261, ⟨10.1007/978-3-319-00948-3_16⟩
Communication dans un congrès hal-04083840v1
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
Communication dans un congrès hal-01146705v1
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
Communication dans un congrès hal-01143229v1
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
16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90
Communication dans un congrès hal-01240715v1
Image document

Self-adaptive systems requirements modelling: Four related approaches comparison

M Ahmad , João Araújo , Nicolas Belloir , Jean-Michel Bruel , Christophe Gnaho
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⟩
Communication dans un congrès hal-01084985v1

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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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.;
Communication dans un congrès hal-00395686v1

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.;
Communication dans un congrès hal-00390406v1

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.;
Communication dans un congrès 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.;
Communication dans un congrès hal-00389747v1

Aspect-based Testing of COTS Components

Jean-Michel Bruel , Albert Royer
GI, 2006, Germany. pp.;
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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
OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings, Aug 2001, Calgary, Canada. pp.5-14
Communication dans un congrès hal-01909114v1

Security Requirements Formalization with RQCODE in

Andrey Sadovykh , Nan Messe , Ildar Nigmatullin , Sophie Ebersold , Maria Naumcheva
Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, inPress, 978-3-031-42211-9
Chapitre d'ouvrage hal-04324243v1

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
Chapitre d'ouvrage lirmm-00268658v1

How to handle environmental uncertainty in goal-based requirements engineering

Manzoor Ahmad , Jean-Michel Bruel , Christophe Gnaho , Régine Laleau
40th International Conference on Software Engineering (ICSE 2018), May 2018, Gothenburg (online), Sweden. ACM, ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp.368--369, 2018, ⟨10.1145/3183440.3195013⟩
Poster de conférence hal-04353185v1
Image document

Emergence of Composite Services in Smart Environments

Maroun Koussaifi , Walid Younes , Françoise Adreit , Jean-Paul Arcangeli , Jean-Michel Bruel
8th EuroScience Open Forum (ESOF 2018), Jul 2018, Toulouse, France. pp.0, 2018
Poster de conférence 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
Rapport 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
Rapport hal-03260606v1