机译:提取黑匣子软件组件的状态模型
机译:黑盒与白盒建模方法的集成,用于软件可靠性评估
机译:住宅HVAC系统的黑匣子建模以及灰匣子和黑匣子建模方法的比较
机译:基于复杂性科学的NSE从源代码 - 软件建模革命中提取软件模型
机译:基于功能的面向对象的建模(FOOM):实现了提取和扩展软件产品线体系结构的过程。
机译:第六场:温度调节的黑匣子模型仍然具有研究价值吗?:关于黑匣子模型的讨论引起的讨论
机译:软件模型检查 - 从源代码中提取验证模型
机译:从自然语言要求到软件组件的可执行模型。