» » A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science)
Download A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science) epub book
ISBN:0792396057
Author: Victor R. Basili,Salwa K. Abd-El-Hafiz
ISBN13: 978-0792396055
Title: A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science)
Format: lit mbr azw txt
ePUB size: 1146 kb
FB2 size: 1992 kb
DJVU size: 1412 kb
Language: English
Category: Computer Science
Publisher: Springer; 1995 edition (July 31, 1995)
Pages: 119

A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science) by Victor R. Basili,Salwa K. Abd-El-Hafiz



Salwa K. Abd-El-Hafiz, Victor R. Basili. Overview and Basic Definitions. Salwa K. Authors and affiliations. Abd-El-Hafiz.

Электронная книга "A Knowledge-Based Approach to Program Understanding", Salwa K. Эту книгу можно прочитать в Google Play Книгах на компьютере, а также на устройствах Android и iOS. Выделяйте текст, добавляйте закладки и делайте заметки, скачав книгу "A Knowledge-Based Approach to Program Understanding" для чтения в офлайн-режиме.

A Knowledge-Based Approach to Program Understanding. by Victor R. Basili and Salwa K. Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development.

The knowledge-based approach to the automation of program understanding presented here plays an important role in nearly all software related tasks: it is vital to the development, maintenance and re-use activities, and is indispensable in improving the quality of software development. Saved in: Main Author: Abd-El-Hafiz, Salwa K. Other Authors

Topics covered include architectural aspects, aspects requiring coordination among caches, aspects related to network traffic, techniques that complement caching, practical aspects, and aspects related to performance.

Salwa K. ABD-EL-HAFIZ Dept. of Engineering Mathematics, Cairo University, Giza, Egypt. Victor R. BASILI, 1940-, Institute for Advanced Computer Studies, University of Maryland, College Park, USA. Series: Kluwer International Series in Engineering and Computer Science, Volume 325. Publisher : Kluwer Academic Publishers - Boston. The knowledge-based approach to the automation of program understanding presented here plays an important role in nearly all software related tasks: it is vital to the development, maintenance and re-use activities, and is indispensable in improving the quality of software development. The approach described generates rigorous program documentation mechanically by combining and building on the strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge-based analysis approach.

The book discusses them in some detail from the viewpoints of software engineering, distributed systems principles, and real-time system development. These problems are organization, observability, reproducibility, the host/target approach, environment simulation, and (test) representativity.

This book is focused on neural-based intelligent information processing systems with the use of smart VLSI design and optimization. The purely-digital signal conditioning approach can be performed in a multiprocessor design with various interconnection schemes such as 1-D systolic array or 2-D mesh configuration. This approach can support very high precision. However, the number of signal processors is quite small as compared to that in the analog design approach.

Another companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Database Systems: A Practical Approach to Design, Implementation, and Management (International Computer Science Series).

20Michael, -%20(ience)rcuits%20(1993, Springer)%20(200s)%. 342025 Andreas Albrecht, Kathleen Steinhöfel - (Lecture Notes in Computer Science 2827) Stochastic Algorithms: Foundations and Applications: Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003,.

Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program 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 correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a· knowledge-based approach to the automation of program understanding. 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. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.