理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- time delay relay
- time delay system
- time-delay system
- time delay systems
- time-dependent
- time-dependent antibiotics
- time-dependent antimicrobial agents
- time-dependent covariate
- time dependent density functional theory
- time-dependent density functional theory
- time-dependent density functional theory, TDDFT
- time dependent DFT
- time-dependent DFT
- time-dependent equation
- time-dependent fluid
- time-dependent fracture mechanics
- time-dependent Ginzburg-Landau equation
- time-dependent Ginzburg-Landau equation, TDGL equation
- time-dependent Ginzburg-Landau theory
- time dependent Green's function
- time-dependent Green's function
- time-dependent Hartree-Fock theory
- time-dependent method
- time-dependent non-Newtonian fluid
- time-dependent perturbation