Titlebook: A Knowledge-Based Approach to Program Understanding; Salwa K. Abd-El-Hafiz,Victor R. Basili Book 1995 Kluwer Academic Publishers 1995 C pr

MIRTH

COMMA

鸣叫

visceral-fat

Dulari Hansdah,Prabha Chand,S. Muruganble Pascal source code. There are a total of 39 modules (functions and procedures). A complete listing of the requirements, specifications, design, and code documents is given elsewhere 67. In this program, there are 77 loops that cover all the classes in our taxonomy.

Inscrutable

Energy, Environment, and Sustainabilityw the presented program understanding approach can assist both activities. We then focus on an application that is not as traditional. We explain how the approach can be used in assisting formal software development using VDM and Z. This application is possible because specifications in the form of predicate logic annotations are generated.

无脊椎

,Dual Fuel (Gas–Liquid Diesel),cognize functional abstractions of programs. In this Chapter, a summary of the approach is presented and its contributions and limitations are highlighted. Suggestions for future work are also presented.

SYN

The Springer International Series in Engineering and Computer Sciencehttp://image.papertrans.cn/a/image/141310.jpg

可憎

https://doi.org/10.1007/978-1-4615-2279-9C programming language; automation; computer; computer science; development; documentation; logic programm

poliosis

amphibian

Book 1995Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and corr