Abstract: This paper presents a methodology for translating models in the SCCD formalism into the Discrete Event System Specification (DEVS) formalism. SCCD, which combines Statecharts with Class ...
Abstract: In recent years, Large Language Models (LLMs) have been extensively used in several Software Engineering tasks, from requirements analysis to coding and software testing. Research has proved ...