Bøger af Victor R. Basili

Program understanding plays an important role in nearly all software related tasks. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches.

Engineering tasks are supposed to achieve defined goals under certain project constraints. Especially in the area of testing a project planner is confronted with an abundance of testing techniques, but very little knowledge regarding their effects under varying project conditions.