Autor der Publikation

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.

, , , und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 216-230. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Systems Engineering for Systems Simulation., , , und . ISoLA (3), Volume 11246 von Lecture Notes in Computer Science, Seite 429-448. Springer, (2018)Improving the UML Metamodel to Rigorously Specify Aggregation and Composition., , , , und . OOIS, Seite 5-14. Springer, (2001)Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach., und . ICCS, Volume 51 von Procedia Computer Science, Seite 650-659. Elsevier, (2015)Papyrus for Education (Invited Presentation)., , und . OSS4MDE@MoDELS, Volume 1541 von CEUR Workshop Proceedings, Seite 38-43. CEUR-WS.org, (2015)A model-based repository of security and dependability patterns for trusted RCES., , , und . IRI, Seite 448-457. IEEE Computer Society, (2013)REQDL: A Requirements Description Language to Support Requirements Traces Generation., , , , und . RE Workshops, Seite 26-35. IEEE Computer Society, (2017)Seamless Integration of Multirequirements in Complex Systems., , , und . RE Workshops, Seite 21-25. IEEE Computer Society, (2017)Application de la théorie de la relation Tout-Partie à la composition de composants logiciels., , und . INFORSID, Seite 35-50. (2003)Composition logicielle et maintenance.. CAL, Seite 191. Hermes Science, (2006)Integrated Informal Object-Oriented and Formal Modeling Techniques., und . ECOOP Workshops, Volume 1357 von Lecture Notes in Computer Science, Seite 178-181. Springer, (1997)