×

核心ASM

swMATH ID: 1936
软件作者： 鲁兹贝，法拉赫博德；文森佐·格瓦西；乌韦·格拉塞尔（Glässer，Uwe）；妈妈，乔治
描述： CoreASM插件体系结构。抽象状态机以其在算法、架构、语言、协议以及几乎所有类型的顺序、并行和分布式系统建模方面的多功能性而闻名。CoreASM是一种新颖的可执行ASM语言，它强调实验的自由，并支持设计作为创造性产品的进化本质。CoreASM引擎是CoreASM工具套件的核心，它基于一个可扩展的体系结构，通过插件支持各种扩展。在本文中，我们探索了CoreASM引擎的插件体系结构，并通过查看两个已实现的插件来展示其潜力。
主页： https://www.uni-ulm.de/coreasm网站/
相关软件： 法尔科;罗丹;github;ProB公司;ASM工作台;皮克特;xrc公司;网络ASM;SICStus公司;杰布;序曲工具;签证B;BMotionWeb;B测试框;事件B2Java;工作室B;z3型;Modelica公司;哈斯克尔;黑色素沉着
引用于： 13文件

标准条款

1出版物描述软件 年份
JASMine：从CoreASM访问Java代码
文森佐·格瓦西；鲁兹别·法拉博德
2009
全部的 前5名

被27位作者引用

5 伊贡博格尔
2 文森佐·格瓦西
2 克劳斯·迪特·施韦
1 克里斯托夫·贝尔
1 Jens Bendisposto公司
1 斯蒂芬·博格特
1 卡罗利·博萨
1 亚历山德拉·卡瓦拉
1 安东尼奥·西斯特尼诺
1 保罗·迪尼
1 扬尼克·邓克劳
1 Matthes埃尔斯特曼
1 鲁兹贝·法拉赫博德
1 艾伯特·弗利什曼
1 乌韦·格拉塞尔
1 戈博尔·霍瓦思
1 菲利普·科纳
1 塞巴斯蒂安·克林斯
1 Michael Leuschel先生
1 彼得·莫塞斯（Peter D.Mosses）。
1 克里斯托弗·列夫·内哈尼夫
1 埃里克·罗斯斯坦
1 丹尼尔·施雷克林
1 尼尔·斯卡索普
1 斯塔利，克里斯蒂安
1 范·宾斯贝根，L.托马斯
1 安德烈·沃尔斯基
全部的 前5名

6篇连载文章中引用

2 计算的形式方面
1 信息学报
1 计算机与系统科学杂志
1 系统设计中的形式化方法
1 计算机基础理论
1 程序设计中的逻辑和代数方法杂志

在5个字段中引用

13 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）
1 生物学和其他自然科学（92-XX）
1 系统论；控制（93至XX）

按年份列出的引文