序曲工具 swMATH ID: 18248 软件作者： Larsen，P.G.，Battle，N.，Ferreira，M.A.，Fitzgerald，J.S.，Lausdahl，K.，Verhoef，M。 描述： 序曲工具。序曲社区支持建模方法维也纳开发方法（VDM），这是一套建模技术，在基于计算机的系统开发的研究和工业应用方面有着悠久而成功的历史。序曲工具是用于开发和分析VDM模型的开源集成开发环境（IDE）。该工具套件完全用Java编写，构建在Eclipse平台之上。 主页： http://overturetool.org 相关软件： 罗丹;github;核心ASM;网络ASM;SICStus公司;杰布;签证B;BMotionWeb;B测试框;事件B2Java;工作室B;ProB公司;z3（零3）;Modelica公司;AGG公司;超小卫星;VDM工具;沟槽;皮克特;奶牛 引用于： 4文件 更多出版物： http://overturetool.org/publications网站/ 全部的 前5名11位作者引用 1 维克托·班杜尔 1 Jens Bendisposto公司 1 阿尼尔班·巴塔查里亚 1 扬尼克·邓克劳 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 菲利普·科纳 1 塞巴斯蒂安·克林斯 1 Leuschel，迈克尔 1 皮尔斯，肯·G。 1 马塞尔·弗霍夫 1 詹姆斯·C·P·伍德科克。 2篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文