机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:提取基于UML的领域特定语言的可重用设计决策:一项多方法研究
机译:通过风险识别架构模式(RIAP)模型支持架构设计决策
机译:将图案语言与可重用的架构决策模型结合成全面综合的设计方法
机译:集成电路设计中用于参数选择和离散决策的综合方法论模型
机译:具有决策支持的综合门诊结果经理:设计注意事项和体系结构
机译:将模式语言和可重用的体系结构决策模型相结合,形成一种全面而可理解的设计方法