Overture: Formal modelling in VDM
许可: 免费 文件大小: N/A
用户评分: 2.6/5 - 5 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 Overture: Formal modelling in VDM
Overture 项目正在开发一组开源 Eclipse 插件,以支持各种 VDM 建模工具的集成(维也纳开发方法)。其目的是为所有现有的 VDM 工具和语言方言提供支持。