( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transforming UML models to Formal Specifications

, и . (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.

Jean-Michel Langlais

Jean-Michel Dengler

Jean-Michel Grossenbacher

Jean-Michel Autebert

Jean-Michel Ayache

 

Другие публикации лиц с тем же именем

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach., и . ICCS, том 51 из Procedia Computer Science, стр. 650-659. Elsevier, (2015)Model-Based Systems Engineering for Systems Simulation., , , и . ISoLA (3), том 11246 из Lecture Notes in Computer Science, стр. 429-448. Springer, (2018)An Integrated Object-Oriented and Formal Modeling Environment., , и . JOOP, 10 (7): 25-34, 50 (1997)Improving the UML Metamodel to Rigorously Specify Aggregation and Composition., , , , и . OOIS, стр. 5-14. Springer, (2001)Papyrus for Education (Invited Presentation)., , и . OSS4MDE@MoDELS, том 1541 из CEUR Workshop Proceedings, стр. 38-43. CEUR-WS.org, (2015)REQDL: A Requirements Description Language to Support Requirements Traces Generation., , , , и . RE Workshops, стр. 26-35. IEEE Computer Society, (2017)Seamless Integration of Multirequirements in Complex Systems., , , и . RE Workshops, стр. 21-25. IEEE Computer Society, (2017)A model-based repository of security and dependability patterns for trusted RCES., , , и . IRI, стр. 448-457. IEEE Computer Society, (2013)UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process., , , , и . OOIS, стр. 280-289. Springer, (2000)On the use of models for high-performance scientific computing applications: an experience report., , , и . Softw. Syst. Model., 17 (1): 319-342 (2018)