DIME Days (ISoLA 2022 Track Introduction).

Leveraging Applications of Formal Methods (ISoLA)(2022)

引用 0|浏览3
暂无评分
摘要
This article provides an introduction to the Dime Days , organized by Tiziana Margaria and Bernhard Steffen as part of ISoLA 2022. Dime is in active development since 2015 and from that time on, the tool has been applied successfully in educational contexts, international workshops and multiple industrial projects. Since then, the tool grew continuously and it is now a centerpiece of our Language-Driven Engineering ecosystem and an integral part of how we approach the development and delivery of web applications. For that reason, we dedicate Dime a special track within ISoLA 2022, where we present contributions that deal with experience gathered from using graphical modeling environments, quality assurance in our ecosystem and the shift to the cloud.
更多
查看译文
关键词
isola,track introduction
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要