ASD套件 swMATH ID: 13328 软件作者： Verum公司 描述： ASD:Suite是一个独特的软件工程平台，集成了完全集成的模型驱动设计、自动数学验证和代码生成。它使软件工程师能够在提供网络30的同时构建工业级软件 主页： http://www.asd.verum.com网站/ 相关软件： 引用于： 1文件 2位作者引用 1 菲利普·霍普克罗夫特。 1 安德鲁·威廉·罗斯科 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文