Computer programming; Management planning and control; Specifications; Air Force planning; Handbooks; Avionics; Acquisition; Quality control; Computer program documentation; Microprocessors; Weapon systems; Life span; Airborne; Air Force procurement; Life cycle cost;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:通过自动规范的知识获取开发安全可靠的信息系统的可靠性要求工程
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:通过案例研究得出计算机图形仿真系统的软件工程要求规范
机译:Petri网“ A”矩阵在软件工程的需求和规范阶段中的作用
机译:准则系统的要求:实施挑战和现有软件工程工作的经验教训
机译:开放式创新和软件生态系统中的需求工程 - 在开放式创新和软件生态系统的背景下探索行业中的需求工程实践