阿斯毫升 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） 按年份列出的引文