Title
A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods
Abstract
Abstract: For ease of use, comprehension, and general acceptability it is important that tools that purport to aid comprehension are able to provide a variety of customisable views. The most important underlying factor is the wide differences between ...
Year
DOI
Venue
2001
10.1109/WPC.2001.921733
IWPC
Keywords
Field
DocType
wide difference,customisable view,general acceptability,formal methods,important underlying factor,software maintenance,source code,documentation,software documentation,propulsion,reverse engineering,formal method,formal specification,programming,computer science
Suite,Systems engineering,Software engineering,Software documentation,Source code,Computer science,Reverse engineering,Formal specification,Software maintenance,Formal methods,Documentation
Conference
ISSN
Citations 
PageRank 
1530-1583
3
0.39
References 
Authors
16
2
Name
Order
Citations
PageRank
Gerald C. Gannod130135.86
Betty H. C. Cheng23345191.44