首页> 美国政府科技报告 >Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software

【24h】

Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software

机译：使用形式化方法和面向对象分析逆向工程穿梭软件

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper describes the application of formal methods and object-oriented modeling to reverse engineering, in which formal specifications are developed for existing, or legacy, code.

著录项

作者
Auernheimer, Betty;
展开▼
作者单位

展开▼
年度 1997
页码 1-30
总页数 30
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
OBJECT-ORIENTED PROGRAMMING; REVERSE ENGINEERING; Engineer Shuttle;

机译：面向对象的程序设计;逆向工程;工程师班车;

相似文献

外文文献
中文文献
专利

1. Methods and Object-Oriented Software for FE Reliability and Sensitivity Analysis with Application to a Bridge Structure [J] . Terje Haukaas, Armen Der Kiureghian Journal of Computing in Civil Engineering . 2007,第3期

机译：有限元可靠性和灵敏度分析的方法和面向对象软件在桥梁结构中的应用
2. Integrating a software architecture-centric method into object-oriented analysis and design [J] . Raghvinder Sangwan, Colin Neill, Matthew Bass, The Journal of Systems and Software . 2008,第5期

机译：将以软件架构为中心的方法集成到面向对象的分析和设计中
3. Formal methods and finite element analysis of hurricane storm surge: A case study in software verification [J] . John Baugh, Alper Altuntas Science of Computer Programming . 2018,第JUNa15期

机译：飓风风暴潮的形式化方法和有限元分析：以软件验证为例
4. A METHOD OF FORMAL REQUIREMENT ANALYSIS FOR NPP IC SYSTEMS BASED ON OBJECT-ORIENTED UML MODELING WITH SOFTWARE COST REDUCTION [C] . Seo Ryong Koo, Han Seong Son, Poong Hyun Seong American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies . 2006

机译：一种基于面向对象UML建模的NPP I＆C系统正式要求分析方法，软件成本降低
5. Integrating informal and formal techniques to reverse engineer imperative programs. [D] . Gannod, Gerald Catolico. 1998

机译：整合非正式和正式技术以逆转工程师的当务之急。
6. Statistical methods and software for the analysis of highthroughput reverse genetic assays using flow cytometry readouts [O] . Florian Hahne, Dorit Arlt, Mamatha Sauermann, 2006

机译：使用流式细胞仪读数分析高通量反向遗传测定的统计方法和软件
7. Formal testing of object-oriented software: from the method to the tool [O] . Péraire Cécile 1998

机译：面向对象软件的形式化测试：从方法到工具
8. Applying Formal Methods and Object-Oriented Analysis to Existing Space Shuttle Software [R] . Cheng, B., Auernheimer, B. 1994

机译：在现有航天飞机软件中应用形式化方法和面向对象分析

Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software

摘要

著录项

相似文献

相关主题

期刊订阅