ChatGPT in the loop: a natural language extension for domain-specific modeling languages
This paper presents an approach to no-code development based on the interplay of formally
defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language …
defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language …
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
A Bainczyk, D Busch, M Krumrey, DS Mitwalli… - … Applications of Formal …, 2022 - Springer
In this paper, we present Cinco Cloud, a holistic web-based language engineering
environment that seamlessly aligns the entire process from the meta modeling of domain …
environment that seamlessly aligns the entire process from the meta modeling of domain …
Using automata learning for compliance evaluation of communication protocols on an NFC handshake example
Abstract Near-Field Communication (NFC) is a widely adopted standard for embedded low-
power devices in very close proximity. In order to ensure a correct system, it has to comply to …
power devices in very close proximity. In order to ensure a correct system, it has to comply to …
Towards LLM-Based System Migration in Language-Driven Engineering
In this paper we show how our approach of extending Language Driven Engineering (LDE)
with natural language-based code generation supports system migration: The characteristic …
with natural language-based code generation supports system migration: The characteristic …
DIME Days (ISoLA 2022 Track Introduction)
This article provides an introduction to the Dime Days, organized by Tiziana Margaria and
Bernhard Steffen as part of ISoLA 2022. Dime is in active development since 2015 and from …
Bernhard Steffen as part of ISoLA 2022. Dime is in active development since 2015 and from …
[图书][B] Leveraging applications of formal methods, verification and validation
T Margaria, B Steffen - 2008 - Springer
As General and Program Chairs we would like to welcome you to the proceedings of ISoLA
2022, the 11th International Symposium on Leveraging Applications of Formal Methods …
2022, the 11th International Symposium on Leveraging Applications of Formal Methods …
[PDF][PDF] Simplicity-Oriented Lifelong Learning of Web Applications
JA Bainczyk - 2024 - eldorado.tu-dortmund.de
Nowadays, web applications are ubiquitous. Entire business models revolve around making
their services available over the Internet, anytime, anywhere in the world. Due to today's …
their services available over the Internet, anytime, anywhere in the world. Due to today's …
[图书][B] Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece …
T Margaria, B Steffen - 2022 - books.google.com
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events
held at the 11th International Symposium on Leveraging Applications of Formal Methods …
held at the 11th International Symposium on Leveraging Applications of Formal Methods …