Volgen
Jean-Michel Bruel
Jean-Michel Bruel
Professor of Computer Science, Toulouse University, France
Geverifieerd e-mailadres voor irit.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3372009
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
2602010
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
1532003
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
1482014
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
1011997
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, 247-257, 1997
791997
Making UML precise
A Evans, JM Bruel, R France, K Lano, B Rumpe
Proceedings of the OOPSLA 98, 1998
781998
Generating test data from OCL specification
M Benattou, JM Bruel, N Hameurlain
Proc. ECOOP Workshop Integration and Transformation of UML Models, 2002
762002
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
512015
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
402003
Integrating formal and informal specification techniques. why? how?
JM Bruel
371998
Guidelines for formalizing Fusion object-oriented analysis models
BW Bates, JM Bruel, RB France, MM Larrondo-Petrie
International Conference on Advanced Information Systems Engineering, 222-233, 1996
371996
A survey on MBSE adoption challenges
M Chami, JM Bruel
Wiley Interscience Publications, 2018
332018
Defining precise semantics for UML
JM Bruel, J Lilius, A Moreira, RB France
European Conference on Object-Oriented Programming, 113-122, 2000
302000
MDE in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
292015
Using RELAX, SysML and KAOS for ambient systems requirements modeling
M Ahmad, JM Bruel, R Laleau, C Gnaho
Procedia Computer Science 10, 474-481, 2012
282012
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
252018
Towards an integrated conceptual design evaluation of mechatronic systems: The SysDICE approach
M Chami, JM Bruel
Procedia Computer Science 51, 650-659, 2015
252015
MDE4HPC: an approach for using model-driven engineering in high-performance computing
M Palyart, D Lugato, I Ober, JM Bruel
International SDL Forum, 247-261, 2011
252011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20