|
Title:
|
SEMANTIC FRAMEWORKS FOR SELECTED DOMAIN-SPECIFIC LANGUAGES IN OUR RESEARCH: METHODOLOGIES AND APPLICATIONS |
|
Author(s):
|
William Steingartner and Davorka Radakovic |
|
ISBN:
|
978-989-8704-62 |
|
Editors:
|
Paula Miranda and Pedro Isaías |
|
Year:
|
2024 |
|
Edition:
|
Single |
|
Keywords:
|
Domain-Specific Languages, Equivalence, Formal Semantics, Semantic Modeling, Visualization, University Didactics |
|
Type:
|
Full |
|
First Page:
|
75 |
|
Last Page:
|
82 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Formal methods in software engineering constantly play an important role, especially in the design of correct programs and
the creation of formal specifications for software design. They are grounded primarily in formal semantics. Therefore, the
semantics of programming languages forms the basis of the curriculum of most universities that provide education for
future IT experts. In our research, we focus on the semantics of imperative and domain-specific languages. We have
formulated several approaches to semantics for the mentioned paradigms, while we have developed software support for
visualization and making teaching more attractive. In this article, we will present a survey of semantic approaches to the
selected DSL language and their application in pedagogy. |
|
|
|
|
|
|
