{"title":"领域特定语言的自然语义可视化","authors":"William Steingartner, Richard Zsiga, D. Radaković","doi":"10.1109/Informatics57926.2022.10083439","DOIUrl":null,"url":null,"abstract":"In this article, we refer to current research in the field of semantic methods for a selected set of domain-specific languages. In our research, we focus on the formulation and definition of semantic methods for describing the meaning of programs in a simple domain-specific language for controlling a robot in an orthogonal system. Considering the importance for current and future programmers and IT specialists to know how programs work and prevent possible mistakes at the design and algorithmic stages, we consider it important in educating young IT professionals to provide them with a solid foundation in formal methods for software engineering. Semantic modeling forms the necessary basis for these formal methods. Therefore, we continue our research by formulating semantic methods for selected domain-specific languages. We also developed a software tool for the mentioned method as a support in education to increase its attractiveness.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Natural semantics visualization for domain-specific language\",\"authors\":\"William Steingartner, Richard Zsiga, D. Radaković\",\"doi\":\"10.1109/Informatics57926.2022.10083439\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this article, we refer to current research in the field of semantic methods for a selected set of domain-specific languages. In our research, we focus on the formulation and definition of semantic methods for describing the meaning of programs in a simple domain-specific language for controlling a robot in an orthogonal system. Considering the importance for current and future programmers and IT specialists to know how programs work and prevent possible mistakes at the design and algorithmic stages, we consider it important in educating young IT professionals to provide them with a solid foundation in formal methods for software engineering. Semantic modeling forms the necessary basis for these formal methods. Therefore, we continue our research by formulating semantic methods for selected domain-specific languages. We also developed a software tool for the mentioned method as a support in education to increase its attractiveness.\",\"PeriodicalId\":101488,\"journal\":{\"name\":\"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-11-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/Informatics57926.2022.10083439\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/Informatics57926.2022.10083439","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Natural semantics visualization for domain-specific language
In this article, we refer to current research in the field of semantic methods for a selected set of domain-specific languages. In our research, we focus on the formulation and definition of semantic methods for describing the meaning of programs in a simple domain-specific language for controlling a robot in an orthogonal system. Considering the importance for current and future programmers and IT specialists to know how programs work and prevent possible mistakes at the design and algorithmic stages, we consider it important in educating young IT professionals to provide them with a solid foundation in formal methods for software engineering. Semantic modeling forms the necessary basis for these formal methods. Therefore, we continue our research by formulating semantic methods for selected domain-specific languages. We also developed a software tool for the mentioned method as a support in education to increase its attractiveness.