software tools; Unified Modeling Language; finite automata; formal verification; formal specification; object-oriented methods; safety-critical software; software quality; Unified Modeling Language; UML machines; standard specification language; tool-supported critical system development; formal models; object-oriented design; formal specification; formal verification; secure computing;
机译:安全关键的交互式系统的工具支持的设计框架
机译:行为驱动的基础UML组件的开发
机译:动态系统的优化与控制 - 基础,主要发展,实例和挑战
机译:使用UML的工具支持的关键系统开发基础
机译:安全关键型按需医疗系统的基础。
机译:基于UMLS的知识获取工具用于基于规则的临床决策支持系统开发
机译:使用UmL进行工具支持的关键系统开发的基础
机译:在基于模型的开发(mBD)中使用统一建模语言(UmL)用于安全关键应用。