MARTE模型相关论文
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理......
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先......
非形式化／半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换，提出了基于MDA的MARTE模型到Object......
