Aerospace electronics; Atmospheric modeling; Context; Embedded systems; Prototypes; Testing; Unified modeling language; automatic code generation; development environment; model-driven engineering; test development; test language; test model;
机译:从模型驱动的航空电子系统开发到“即插即用”航空电子
机译:将模型驱动的开发应用于分布式实时和嵌入式航空电子系统
机译:模型驱动的系统开发和集成环境
机译:Stelae—航空电子系统的模型驱动测试开发环境
机译:通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:安全关键航空电子系统的模型驱动软件开发:经验报告
机译:复杂航空电子系统的设计,开发和测试:会议论文集于1987年4月27日至5月1日在内华达州拉斯维加斯举行的航空电子设备专题讨论会上举行