机译:基于模型检查和基于模型的工业软件开发测试
Aeronaut Inst Technol ITA BR-12228900 Sao Paulo Brazil;
Fraunhofer Inst Prod Machines &
Design Technol IP Pascalstr 8-9 D-10587 Berlin Germany;
Aeronaut Inst Technol ITA BR-12228900 Sao Paulo Brazil;
Natl Inst Space Res INPE BR-12227010 Sao Paulo Brazil;
Model checking; Model based testing; Verification techniques; Model based design;
机译:基于模型检查和基于模型的工业软件开发测试
机译:协同软件开发模型:治疗计划检查中的整合
机译:集成模型检查和基于UML的嵌入式系统模型驱动开发
机译:将基于模型的形式定时分析集成到卫星车载软件的工业开发过程中
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:在初级保健中已检查过肝功能检查的患者的肝病预测:使用基于人群的观察性队列进行模型开发和验证
机译:将基于合同的测试集成到模型驱动的软件开发中