AUTOMATIC PILOTS; COMPUTER PROGRAMMING; OBJECT-ORIENTED PROGRAMMING; REVERSE ENGINEERING; SOFTWARE ENGINEERING; SPACE SHUTTLES; formal methods reverse engineering object-oriented analysis Space Shuttle; software engineering;
机译:基于现有开源软件的集思广益方法论的开源软件的软件辅助特征选择
机译:DSS:一个正式的框架和一个软件工具,用于提取面向对象的设计状态空间和基于语法的度量标准
机译:将正式方法应用于经过认证的安全软件系统
机译:将形式化方法应用于软件和系统需求分析的经验
机译:使用关键项目正式验证面向对象的软件
机译:将数据链接到决策:应用定性数据分析方法和软件来确定使用结果数据的机制
机译:使用sCR进行航天飞机软件变更请求的形式化建模
机译:将正式方法和面向对象分析应用于现有的飞行软件