( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reflections on Teaching Formal Methods for Software Development in Higher Education.

, , , , , и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 28-41. Springer, (2019)

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)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)A model-based repository of security and dependability patterns for trusted RCES., , , и . IRI, стр. 448-457. IEEE Computer Society, (2013)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)Modeling of Natural Language Requirements based on States and Modes., и . RE Workshops, стр. 190-194. IEEE, (2022)Towards a Methodological Tool Support for Modeling Security-Oriented Processes., , , и . MEDI, том 9893 из Lecture Notes in Computer Science, стр. 31-41. Springer, (2016)Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity., , , и . EC-TEL, том 14200 из Lecture Notes in Computer Science, стр. 611-617. Springer, (2023)