ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages
Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
Topics & Concepts
Computer scienceProgramming languageDomain (mathematical analysis)Domain-specific languageExtension (predicate logic)ExploitAutomatonPoint (geometry)Artificial intelligenceTheoretical computer scienceNatural language processingMathematicsComputer securityMathematical analysisGeometryMachine Learning and AlgorithmsSoftware Testing and Debugging TechniquesFormal Methods in Verification