Autor der Publikation

Extracting High-Level System Specifications from Source Code via Abstract State Machines.

, , , und . MEDI, Volume 11815 von Lecture Notes in Computer Science, Seite 267-283. Springer, (2019)

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

Leveraging Machine Learning for Software Redocumentation., , , , und . SANER, Seite 622-626. IEEE, (2020)Leveraging machine learning for software redocumentation - A comprehensive comparison of methods in practice., , , , und . Softw. Pract. Exp., 51 (4): 798-823 (2021)Using AI-Based Code Completion for Domain-Specific Languages, , , , und . Product-Focused Software Process Improvement, Seite 227--242. Cham, Springer Nature Switzerland, (2024)Innovating Industry With Research: eknows and Sysparency., , , und . IEEE Softw., 41 (3): 41-48 (Mai 2024)Live Replay of Screen Videos: Automatically Executing Real Applications as Shown in Recordings., , und . SANER, Seite 664-665. IEEE, (2020)Federated Learning Enables Big Data for Rare Cancer Boundary Detection., , , , , , , , , und 40 andere Autor(en). CoRR, (2022)Software Engineering - Processes and Tools., , , , , , , , , und . Hagenberg Research, Springer, (2009)A systematic mapping study on best practices for domain-specific modeling., , und . Softw. Qual. J., 28 (2): 663-692 (2020)Using AI-Based Code Completion for Domain-Specific Languages., , , , und . PROFES (1), Volume 14483 von Lecture Notes in Computer Science, Seite 227-242. Springer, (2023)Iterative Design and Evaluation of a Low-Code Development Platform for Welding Robot Control., , , , , und . ETFA, Seite 1-8. IEEE, (2023)