Using informal and formal techniques for the reverse engineering of C programs

Conference on Software Maintenance

Volumn , Issue , 1996, Pages 265-274

  Gannod, Gerald C ^a   Cheng, Betty H C ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FLIGHT DYNAMICS; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPACECRAFT;

FORMAL PROGRAM SEMANTICS; REVERSE ENGINEERING; SEMI FORMAL ANALYSIS;

C (PROGRAMMING LANGUAGE);

EID: 0030399283     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)