( en | de | ru )

 

Disambiguation of "Bruel, Jean-Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Transforming UML models to Formal Specifications

, and . (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Michel Langlais

Jean-Michel Dengler

Jean-Michel Grossenbacher

Jean-Michel Autebert

Jean-Michel Ayache

 

Other publications of authors with the same name

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach., and . ICCS, volume 51 of Procedia Computer Science, page 650-659. Elsevier, (2015)Model-Based Systems Engineering for Systems Simulation., , , and . ISoLA (3), volume 11246 of Lecture Notes in Computer Science, page 429-448. Springer, (2018)Improving the UML Metamodel to Rigorously Specify Aggregation and Composition., , , , and . OOIS, page 5-14. Springer, (2001)REQDL: A Requirements Description Language to Support Requirements Traces Generation., , , , and . RE Workshops, page 26-35. IEEE Computer Society, (2017)Seamless Integration of Multirequirements in Complex Systems., , , and . RE Workshops, page 21-25. IEEE Computer Society, (2017)A model-based repository of security and dependability patterns for trusted RCES., , , and . IRI, page 448-457. IEEE Computer Society, (2013)Papyrus for Education (Invited Presentation)., , and . OSS4MDE@MoDELS, volume 1541 of CEUR Workshop Proceedings, page 38-43. CEUR-WS.org, (2015)Panels at MODELS 2007.. MoDELS, volume 4735 of Lecture Notes in Computer Science, page 695. Springer, (2007)Integrated Informal Object-Oriented and Formal Modeling Techniques., and . ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 178-181. Springer, (1997)Defining Precise Semantics for UML., , , and . ECOOP Workshops, volume 1964 of Lecture Notes in Computer Science, page 113-122. Springer, (2000)