Autor der Publikation

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

MDE 2.0 : Pragmatical formal model verification and other challenges.. (2012)On the Readiness of Scientific Data for a Fair and Transparent Use in Machine Learning., , und . CoRR, (2024)AI Engineering Research in Software Engineering Venues., , , , , und . IEEE Softw., 39 (6): 105-108 (2022)Generating operation specifications from UML class diagrams: A model transformation approach., , , und . Data Knowl. Eng., 70 (4): 365-389 (2011)Verifying UML/OCL Operation Contracts., , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2009)Smart Bound Selection for the Verification of UML/OCL Class Diagrams., , und . IEEE Trans. Software Eng., 45 (4): 412-426 (2019)An OpenAPI-Based Testing Framework to Monitor Non-functional Properties of REST APIs., , , und . ICWE, Volume 12128 von Lecture Notes in Computer Science, Seite 533-537. Springer, (2020)Constraint Support in MDA Tools: A Survey., und . ECMDA-FA, Volume 4066 von Lecture Notes in Computer Science, Seite 256-267. Springer, (2006)API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering., , , und . Inf. Softw. Technol., 54 (3): 257-273 (2012)Backwards reasoning for model transformations: Method and applications., , , und . J. Syst. Softw., (2016)