领域特定语言的自然语义可视化

William Steingartner, Richard Zsiga, D. Radaković
{"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}
引用次数: 0

摘要

在本文中,我们参考了一组特定领域语言的语义方法领域的当前研究。在我们的研究中,我们专注于用一种简单的领域特定语言描述正交系统中控制机器人的程序的意义的语义方法的制定和定义。考虑到当前和未来的程序员和IT专家了解程序如何工作并防止在设计和算法阶段可能出现的错误的重要性,我们认为教育年轻的IT专业人员为他们提供软件工程形式化方法的坚实基础非常重要。语义建模是这些形式化方法的必要基础。因此,我们通过为选定的领域特定语言制定语义方法来继续我们的研究。我们还为上述方法开发了一个软件工具,作为教育方面的支持,以增加其吸引力。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Software Engineers' Questions and Answers on Stack Exchange Collision detection and response approaches for computer muscle modelling Supervised learning data preprocessing for short-term traffic flow prediction A 1D CNN-based model for IoT anomaly detection using INT data Image steganography with using QR code
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1