[go: up one dir, main page]

Follow
Jean-Michel Bruel
Jean-Michel Bruel
Professor of Computer Science, Toulouse University, IRIT, France
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
Relax: Incorporating uncertainty into the specification of self-adaptive systems
J Whittle, P Sawyer, N Bencomo, BHC Cheng, JM Bruel
2009 17th IEEE International Requirements Engineering Conference, 79-88, 2009
3992009
RELAX: a language to address uncertainty in self-adaptive systems requirement
J Whittle, P Sawyer, N Bencomo, BHC Cheng, JM Bruel
Requirements engineering 15 (2), 177-196, 2010
3142010
The relevance of model-driven engineering thirty years from now
G Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...
International Conference on Model Driven Engineering Languages and Systems …, 2014
1902014
Formalization of the whole-part relationship in the unified modeling language
F Barbier, B Henderson-Sellers, A Le Parc-Lacayrelle, JM Bruel
IEEE Transactions on Software Engineering 29 (5), 459-470, 2003
1502003
A survey on MBSE adoption challenges
M Chami, JM Bruel
INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), 1-16, 2018
1322018
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
A Aho, J Ullman
Communications of the ACM 65 (2), 76-91, 2022
122*2022
Transforming UML models to formal specifications
JM Bruel, RB France
Proceedings of the OOPSLA 98, 1998
1131998
An integrated object-oriented and formal modeling environment
RB France, JM Bruel, MM LarrondoPetrie
Journal of Object-Oriented Programming 10 (7), 25-&, 1997
981997
Making UML precise
A Evans, JM Bruel, R France, K Lano, B Rumpe
Proceedings of the OOPSLA 98, 1998
821998
Exploring the semantics of UML type structures with Z
RB France, JM Bruel, MM Larrondo-Petrie, M Shroff
Formal Methods for Open Object-based Distributed Systems: Volume 2, 247-257, 1997
821997
Generating test data from OCL specification
M Benattou, JM Bruel, N Hameurlain
Proc. ECOOP Workshop Integration and Transformation of UML Models, 2002
802002
Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems
M Ahmad, N Belloir, JM Bruel
Journal of Systems and Software 107, 50-70, 2015
702015
Towards solving MBSE adoption challenges: the D3 MBSE adoption toolbox
M Chami, A Aleksandraviciene, A Morkevicius, JM Bruel
INCOSE International Symposium 28 (1), 1463-1477, 2018
662018
A hitchhiker's guide to model-driven engineering for data-centric systems
B Combemale, J Kienzle, G Mussbacher, H Ali, D Amyot, M Bagherzadeh, ...
IEEE Software 38 (4), 71-84, 2020
632020
The role of formalism in system requirements
JM Bruel, S Ebersold, F Galinier, M Mazzara, A Naumchev, B Meyer
ACM Computing Surveys (CSUR) 54 (5), 1-36, 2021
472021
MDE in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
442015
A first step towards AI for MBSE: Generating a part of SysML models from text using AI
M Chami, C Zoghbi, JM Bruel
A First Step towards AI, 2019
432019
SysML models verification and validation in an industrial context: Challenges and experimentation
R Baduel, M Chami, JM Bruel, I Ober
European Conference on Modelling Foundations and Applications, 132-146, 2018
422018
Using aspects to develop built-in tests for components
JM Bruel, J Araújo, A Moreira, A Royer
AOSD Modeling with UML Workshop, 6th International Conference on the Unified …, 2003
412003
Towards an integrated conceptual design evaluation of mechatronic systems: The SysDICE approach
M Chami, JM Bruel
Procedia Computer Science 51, 650-659, 2015
382015
The system can't perform the operation now. Try again later.
Articles 1–20