A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods

Authors:
Affiliations:
Venue:
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Year:
2001

Citing 0
Cited 1

Controlled composition and abstraction for bottom-up integration and verification of abstract components

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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 ...