Software; Aerospace electronics; Mathematical model; Analytical models; Standards; Semantics; Object oriented modeling;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:从Relel需求模型自动生成Praxeme软件方面的Web服务
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:软件密集型航空电子设备的测试需求建模研究
机译:从正式的软件模型自动生成测试用例。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:基于UML的航空电子软件仿真测试系统建模语言