×

沙尔米

swMATH ID: 11046
软件作者: Pelliccione,P。;因弗拉迪,P。;H.穆奇尼。
描述: CHARMY:设计和验证架构规范的框架。Charmy框架是在软件开发的早期阶段引入的,它帮助软件架构师做出和评估体系结构选择。很少有一个系统的软件体系结构能够一劳永逸地建立起来。最有可能的是,定义和理解不清的体系结构约束和需求迫使软件架构师接受模糊性,转而构建次优的软件体系结构。Charmy旨在为支持软件架构的迭代建模和评估提供一个简单实用的工具。根据基于UML的架构设计,自动创建可执行原型。Charmy仿真和模型检查功能有助于理解系统的功能并发现设计的潜在不一致。当达到满意和稳定的软件架构时,通过适当的转换自动生成符合结构化软件架构约束的Java代码。总体方法由工具支持。
主页: 网址:http://www.di.univaq.it/charmy/
相关软件: 自旋蛋白;AUTOSAR汽车;MARTE公司;系统建模语言;Uppaal公司
引用于: 2文件

连载1篇

1 计算

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文