面向机载软件适航审查的软件计划阶段的证据模型 (Evidence Model Oriented to Airborne Software Airworthiness Review of Software Planning Stage).
Wei YuanJi WuChao LiuHaiyan YangPublished in: 计算机科学 (2018)
Keyphrases
- objective function
- software systems
- management system
- software design
- software components
- experimental data
- cost function
- data sets
- software development
- computer systems
- computational model
- source code
- decision theoretic
- mathematical model
- em algorithm
- probabilistic model
- prior knowledge
- user interface
- multi agent systems
- high level
- information systems