机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:数据库语言设计和约束处理的形式方法
机译:在正式语言理论框架下分析动物歌的困难:与基于度量的模型评估比较
机译:在工程设计中评估偏好语言的形式方法比较
机译:基于评估理论和工程设计原理的轻量软件过程评估方法评估方法
机译:在正式语言理论框架下分析动物歌曲的困难:与基于度量的模型评估的比较
机译:在混合方法方法中使用配对比较方法评估辅助技术产品的设计:一项案例研究,评估了34种上肢受损参与者对四种类型餐具的偏好