Map
Index
Random
Help
th

Quote: used reverse engineering to determine a program's specification and proof; identified clean components

topics > all references > references a-b > QuoteRef: basiVR5_1982 , p. 270 [



Topic:
reverse engineering of software

Note

took an existing Fortran program (finds roots of arbitrary function, given a segment), and reversed engineered it to find its specification and proof. basic method was to break the program into clean components and then specify and prove each component.


Related Topics up

Topic: reverse engineering of software (6 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.