阿斯毫升 swMATH ID: 11363 软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。 描述: 抽象状态机语言。AsmL是一种工业级的可执行规范语言。它可以用于编程过程的任何阶段:设计、编码或测试。它完全集成到Microsoft中。NET环境:AsmL模型可以与任何其他模型进行互操作。NET程序集,无论它是用什么源语言编写的。AsmL使用XML和Word作为文字规范。AsmL是抽象状态机语言。FSE组发展为AsmL。它是一种基于Yuri Gurevich发明的抽象状态机理论的可执行规范语言。当前版本AsmL for Microsoft。NET,嵌入到Microsoft Word中。它使用XML和Word作为文字规范。它可以与其他系统完全互操作。NET语言。AsmL生成。NET程序集,可以从命令行执行,并与其他程序集链接。NET程序集,或打包为COM组件。 主页: http://research.microsoft.com/en-us/projects/asml/ 相关软件: 毫升;SpecExplorer(SpecExplorer);科拉特;液化石油气处理厂;XASM公司;z3(零3);快速检查;老年痴呆症;图拉法勒;Uppaal公司;QPL公司;镊子;CVC4SY公司;超小卫星;帕拉库巴;基萨特;CaDiCaL公司;Z3str3号机组;玫瑰花;github 引用于: 45文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 AsmL的语义本质。 Zbl 1077.68052号尤里·古里维奇;本杰明·罗斯曼;沃尔夫拉姆·舒尔特 2005 AsmL的语义本质:扩展抽象。 兹比尔1104.68527尤里·古里维奇;本杰明·罗斯曼;沃尔夫拉姆·舒尔特 2004 全部的 前5名78位作者引用 10 尤里·古里维奇 6 沃尔夫拉姆·舒尔特 5 罗伯特·马克·海伦斯 5 玛格斯·维纳斯 三 克里斯托夫·贝尔 三 安德烈亚斯·拉斐尔·布拉斯 三 加布里埃尔·克恩·伊斯伯纳 三 院长罗森茨威格 三 本杰明·罗斯曼 三 尼古拉·蒂尔曼 2 伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev) 2 迈克·巴奈特 2 尼古拉·S·比约纳。 2 伯格,埃贡 2 尼库·弗鲁贾。 2 列夫·纳奇曼森 2 朗杰,达沃 2 哈桑·乌拉尔 1 西里尔·阿尔托 1 霍华德·巴林格 1 保罗·博卡(Paul P.Boca)。 1 马塞洛·玛丽亚·邦桑格 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 帕特里克·塞吉尔斯基 1 帕特里斯·沙林 1 德波尔(Frank S。 1 威廉·鲍尔·德·罗弗 1 拉奇达·德索利 1 安吉洛·加甘蒂尼 1 苏珊娜·格拉芙 1 沃尔夫冈·格里斯坎普 1 伊雷纳游击队 1 阿里·哈比比 1 乔纳斯·菲利普·哈尔迪曼 1 贾梅勒丁·哈辛 1 克劳斯·哈维隆德 1 詹姆斯·约翰逊(James E.Johnson)。 1 Jourdan,Guy-Vincent先生 1 马丁·卡尔多斯 1 费哈特·肯德克 1 萨尔夫拉兹·库希德 1 尼科尔·科赫 1 Peter M.科赫。 1 拉尔夫·拉梅尔 1 莱斯利·兰波特 1 David E.Langworthy。 1 丹尼尔·拉扎罗·库阿德拉多 1 麦克斯韦·列瓦提奇 1 洛佩斯,努诺·P。 1 洛瑞,迈克 1 梅雷约(Mercedes G.Merayo)。 1 Manuel A.努涅斯。 1 西蒙·奥伯蒂尔 1 科琳娜·s·佩斯勒诺。 1 Doron A.Peled。 1 亚历山大·佩特伦科 1 弗兰兹·兰米格。 1 安德斯·雷文(Anders P.Ravn)。 1 利可宾,埃尔维尼亚 1 尤尔根·里林 1 格里高·罗什乌 1 安德烈·雷巴尔琴科 1 安藤萨巴斯 1 塞·库什克 1 丹尼尔·辛尼格 1 内华达州斯拉尼 1 索菲涅·塔哈尔 1 Tsay,Yih-Kuen先生 1 安德烈亚斯·乌尔里奇 1 威廉·维瑟 1 弗里德里希·沃格特。 1 Chandrasekar的Vuppalapati 1 华莱士,查尔斯 1 华盛顿,里奇 1 罗斯蒂斯拉夫·爱德华多维奇·亚沃斯基 1 胡斯努·耶尼贡 1 张继超 1 赵玉红 全部的 前5名11篇连载文章中引用 6 理论计算机科学 5 计算机科学课堂讲稿 三 分布式计算 2 计算的形式方面 2 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)的联合公报。系列:计算机科学 1 计算机程序设计科学 1 信息与计算 1 Informatica(卢布尔雅那) 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 45 计算机科学(68至XX) 5 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文