Software Eng. Res. Group, Delft Univ. of Technol., Delft;
object-oriented programming; program testing; software architecture; Binder classical testability model; architecture-based test coverage; component-based systems; generic measurement framework; graph model; runtime testability; service oriented architectures; software systems; systems of systems; component based; runtime testing; testability;
机译:集成运行时观测和基于组件的模型的架构运行时模型
机译:基于组件的模型,用于嵌入式系统的运行时控制和监视
机译:通过推断局部模型来分析和测试基于黑匣子组件的系统
机译:基于组件的系统运行时间可测试性的模型
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:基于组件的系统的运行时可测性度量模型