Reverse engineering concurrent programs using formal modelling and analysis

Conference on Software Maintenance

Volumn , Issue , 1996, Pages 255-264

  Younger, E J ^a   Luo, Z ^a   Bennett, K H ^a   Bull, T M ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; FORMAL LOGIC; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

CONCURRENCY; PROGRAM TRANSFORMATIONS; REVERSE ENGINEERING; SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0030405783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icsm.1996.565014     Document Type: Conference Paper

References (42)