Work

AI-Assisted Modeling: DSL-Driven AI Interactions

Year: 2026

Type: conference-paper

Abstract: AI-assisted programming greatly increases software development performance. We enhance this potential by integrating transparency through domain-specific modeling techniques and providing instantaneous, graphical visualizations that accurately represent the semantics of AI-generated code. This approach facilitates visual inspection and formal verification, such as model checking.

DOI: 10.1145/3786179.3788326

Authors: Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen

Institutions: TU Dortmund University, Tunis El Manar University, University of California, Berkeley

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4414762068

FWCI:

Cites:

Cited by:

Related to: