首页> 外文OA文献 >Using Informal and Formal Techniques for the Reverse Engineering of C Programs

【2h】

Using Informal and Formal Techniques for the Reverse Engineering of C Programs

机译：利用非正式和形式化技术进行C程序的逆向工程

页面导航

著录项
相似文献
相关主题

著录项

作者
Gerald Gannod; Betty H. C. Cheng;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Supporting Informed Engineering Design across Formal and Informal Contexts with WISEngineering [J] . Chiu J., Gonczi A., Fu X., The international journal of engineering education . 2017,第1B期

机译：使用WISEngineering支持形式化和非正式上下文的知情工程设计
2. Informal and formal modelling of engineering processes for design automation using knowledge based engineering [J] . Vibhor Trehan, Craig Chapman, Pathmeswaran Raju Journal of Zhejiang University. Science, A . 2015,第9期

机译：基于知识工程设计自动化设计自动化的非正式和正式建模
3. Collaborative idea exchange and material tinkering influence families' creative engineering practices and products during engineering programs in informal learning environments [J] . Soo Hyeon Kim, Heather Toomey Zimmerman New library world . 2021,第9a10期

机译：在非正式学习环境中的工程方案中，合作思想交流和材料修补影响家庭创意工程实践和产品
4. Using informal and formal techniques for the reverse engineering of C programs [C] . Gannod, G.C., Chengs, Reverse Engineering, 1996., Proceedings of the Third Working Conference on . 1996

机译：使用非正式和正式技术对C程序进行反向工程
5. Integrating informal and formal techniques to reverse engineer imperative programs. [D] . Gannod, Gerald Catolico. 1998

机译：整合非正式和正式技术以逆转工程师的当务之急。
6. Informal knowledge transfer in the period before formal health education programmes: case studies of mass media coverage of HIV and SIDS in England and Wales [O] . Nick Hilliard, Rebeka Jenkins, Nora Pashayan, 2007

机译：在正式健康教育计划之前的非正式知识转移：英格兰和威尔士大众媒体对HIV和SIDS报道的案例研究
7. A Formal Automated Approach for Reverse Engineering Programs with Pointers [O] . Gerald Gannod, Betty H. C. Cheng 1997

机译：具有指针的逆向工程程序的形式化自动化方法
8. Engineering an Implementation of the OSI CCR Protocol Using the Information211 Systems Techniques of Formal Specification and Program Transformation [R] . Jones, V. M. 1999

机译：使用Information211系统技术正式规范和程序转换来设计OsI CCR协议的实现

Using Informal and Formal Techniques for the Reverse Engineering of C Programs

著录项

相似文献

相关主题

期刊订阅