机译:促进大学软件设计和建模课程形式方法研究的策略和工具支持
机译:一种新的概念设计方法,可支持从产品设计规范到概念设计的快速有效映射
机译:基于Web的合成生物学系统基于约束的设计规范的软件工具
机译:用于组装软件规范和设计方法的支持工具
机译:支持业务流程再造的软件工程方法,模型和工具。
机译:群体药代动力学-药效学研究中设计评估的方法和软件工具
机译:用于人群药代动力学-药效学研究的设计评估的方法和软件工具。 :用于人口PKPD的设计评估软件
机译:取证软件测试支持工具:测试计划;测试设计规范;和测试用例规范