Architecture; Model; Design; Maturity; Patterns; Formal methods; Alloy; Lifecycle Modeling Language;
机译:基于形式化设计模式的洗衣机控制器模型的形式化开发
机译:在硬件/软件协同设计中使用模式进行正式细化建模
机译:有向图的体系结构和行为的形式化设计模型
机译:使用域无关模式评估架构模型和设计成熟度的正式方法
机译:正式建模和设计模式的自动验证。
机译:勘误至:将国家预算转移至医疗保险基金以实现全民医疗保险:覆盖东欧高收入国家正规部门之外的医疗保险的体制设计模式和挑战
机译:使用与领域无关的模式评估体系结构模型和设计成熟度的正式方法