机译:MISRA软件开发标准:软件开发标准需要验证工具支持
机译:构建建模空间并支持软件产品线工程的发展
机译:在基于模型的软件开发中指定质量模型的元模型和支持过程和工具
机译:支持软件演进的替代软件开发模型
机译:挖掘软件存储库以支持软件演进。
机译:输入信号阶跃函数(ISSF)是在SBML模型中通过软件支持对输入信号进行编码的标准方法已应用于昼夜节律模型
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术