Application of formal methods to the development of a software maintenance tool

Proceedings of the IEEE International Automated Software Engineering Conference, ASE

Volumn , Issue , 1997, Pages 162-171

  Blazy, Sandrine ^a   Facon, Philippe ^a  

^a CEDRIC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; GRAPHICAL USER INTERFACES;

INTERPROCEDURAL ANALYSIS; PROGRAM UNDERSTANDING;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (16)