Knowledge-Based Approach to Program Understanding

AvSalwa K. Abd-El-Hafiz,Victor R. Basili

Inbunden, Engelska, 1995

Del i serien Springer International Series in Engineering and Computer Science

1 137 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 135 kr

Beskrivning

This text presents the knowledge-based approach to the automation of program understanding which plays an important role in nearly all software related tasks: it is vital to the development, maintenance and re-use activities, and is useful in improving the quality of software development. The approach generates 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. This text is aimed at: computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use.

Produktinformation

Utgivningsdatum:1995-07-31
Mått:155 x 235 x 10 mm
Vikt:376 g
Format:Inbunden
Språk:Engelska
Serie:Springer International Series in Engineering and Computer Science
Antal sidor:119
Upplaga:1995
Förlag:Kluwer Academic Publishers
ISBN:9780792396055

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

1 Introduction.- 1.1 Research Goals.- 1.2 Research Approach.- 1.3 Outline.- 2 Background.- 2.1 Loop Analysis.- 2.2 Program Analysis and Understanding.- 3 Overview and Basic Definitions.- 3.1 Definitions.- 3.2 A Loop Taxonomy.- 4 Analysis of Flat Loops.- 4.1 Normalization of the Loop Representation.- 4.2 Decomposition of the Loop Body.- 4.3 Formation of the Loop Events.- 4.4 A Knowledge Base of Plans.- 4.5 Analysis of the Events.- 5 Analysis of Nested Loops.- 5.1 Definitions.- 5.2 Analysis of Inner Loops.- 5.3 Representation of Inner Loops Analysis Results.- 5.4 Analysis of Outer Loops.- 5.5 Adaptation of Inner Loops Specifications.- 6 Discussion of the Analysis Approach.- 7 Case Study.- 7.1 Objectives.- 7.2 Method.- 7.3 Results and Analysis.- 8 Prototype Implementation.- 8.1 Design.- 8.2 Operation.- 9 Applications.- 9.1 Assisting Maintenance and Reuse.- 9.2 Assisting Formal Development.- 10 Conclusions.- 10.1 Summary of Approach.- 10.2 Observations.- 10.3 Future Work.- References.

Mer från samma författare

Knowledge-Based Approach to Program Understanding

Victor R. Basili, Salwa K. Abd-El-Hafiz

E-bok

2012

1 470 kr

Interdisciplinary Studies on Digital Transformation and Innovation

Ahmed Gomaa Radwan, Salwa K Abd-El-Hafiz, Islam Tharwat Abdel Halim

Inbunden, 2024

2 620 kr

Interdisciplinary Studies on Digital Transformation and Innovation: Business, Education, and Medical Approaches

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz

Häftad, 2024

2 135 kr

Advanced Research Trends in Sustainable Solutions, Data Analytics, and Security

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz, Islam Tharwat Abdel Halim, Yuhong Liu, Meikang Qiu

Inbunden, 2025

4 255 kr

Advanced Research Trends in Sustainable Solutions, Data Analytics, and Security

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz

Häftad, 2025

3 771 kr

Mer från samma serie

Del 660

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems

Christoforos N. Hadjicostis

Inbunden, 2001

1 653 kr

Distributed and Parallel Systems

Zoltan Juhasz, Peter Kacsuk, Dieter Kranzlmuller

Inbunden, 2004

1 137 kr

Alternative Breast Imaging

Keith D. Paulsen, Paul M. Meaney, Larry Gilman

Inbunden, 2004

1 137 kr

QoS in Packet Networks

Kun I. Park

Inbunden, 2004

1 137 kr

Privacy, Security and Trust within the Context of Pervasive Computing

Philip Robinson, Harald Vogt, Waleed Wagealla

Inbunden, 2004

1 137 kr

CMOS PLL Synthesizers: Analysis and Design

Keliu Shu, Edgar Sanchez-Sinencio

Inbunden, 2004

1 137 kr

Space Weather & Telecommunications

John M. Goodman

Inbunden, 2004

1 653 kr

Matching Properties of Deep Sub-Micron MOS Transistors

Jeroen A. Croon, Willy M Sansen, Herman E. Maes

Inbunden, 2005

1 653 kr

Analog Design Essentials

Willy M Sansen

Inbunden, 2006

1 324 kr

Dynamic Characterisation of Analogue-to-Digital Converters

Dominique Dallet, José Machado da Silva

Inbunden, 2005

1 653 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Knowledge-Based Approach to Program Understanding

Salwa K. Abd-El-Hafiz, Victor R. Basili

Häftad, 2012

1 135 kr

Knowledge-Based Approach to Program Understanding

Victor R. Basili, Salwa K. Abd-El-Hafiz

E-bok

2012

1 470 kr

Advanced Research Trends in Sustainable Solutions, Data Analytics, and Security

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz, Islam Tharwat Abdel Halim, Yuhong Liu, Meikang Qiu

Inbunden, 2025

4 255 kr

Interdisciplinary Studies on Digital Transformation and Innovation: Business, Education, and Medical Approaches

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz

Häftad, 2024

2 135 kr

Advanced Research Trends in Sustainable Solutions, Data Analytics, and Security

Ahmed Gomaa Radwan, Salwa K. Abd-El-Hafiz

Häftad, 2025

3 771 kr

Identifying Relevant Information for Testing Technique Selection

Sira Vegas, Natalia Juristo, Victor R. Basili

Häftad, 2012

1 102 kr

Identifying Relevant Information for Testing Technique Selection

Victor R. Basili, Natalia Juristo, Sira Vegas

E-bok

2012

1 427 kr

Experimental Software Engineering Issues:

H.Dieter Rombach, Victor R. Basili, Richard W. Selby

Häftad, 1993

571 kr

Identifying Relevant Information for Testing Technique Selection

Sira Vegas, Natalia Juristo, Victor R. Basili

Inbunden, 2003

1 135 kr

Knowledge-Based Approach to Program Understanding

AvSalwa K. Abd-El-Hafiz,Victor R. Basili

Inbunden, Engelska, 1995

Del i serien Springer International Series in Engineering and Computer Science

1 137 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 135 kr

Beskrivning

Produktinformation

Utgivningsdatum:1995-07-31
Mått:155 x 235 x 10 mm
Vikt:376 g
Format:Inbunden
Språk:Engelska
Serie:Springer International Series in Engineering and Computer Science
Antal sidor:119
Upplaga:1995
Förlag:Kluwer Academic Publishers
ISBN:9780792396055

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

1 Introduction.- 1.1 Research Goals.- 1.2 Research Approach.- 1.3 Outline.- 2 Background.- 2.1 Loop Analysis.- 2.2 Program Analysis and Understanding.- 3 Overview and Basic Definitions.- 3.1 Definitions.- 3.2 A Loop Taxonomy.- 4 Analysis of Flat Loops.- 4.1 Normalization of the Loop Representation.- 4.2 Decomposition of the Loop Body.- 4.3 Formation of the Loop Events.- 4.4 A Knowledge Base of Plans.- 4.5 Analysis of the Events.- 5 Analysis of Nested Loops.- 5.1 Definitions.- 5.2 Analysis of Inner Loops.- 5.3 Representation of Inner Loops Analysis Results.- 5.4 Analysis of Outer Loops.- 5.5 Adaptation of Inner Loops Specifications.- 6 Discussion of the Analysis Approach.- 7 Case Study.- 7.1 Objectives.- 7.2 Method.- 7.3 Results and Analysis.- 8 Prototype Implementation.- 8.1 Design.- 8.2 Operation.- 9 Applications.- 9.1 Assisting Maintenance and Reuse.- 9.2 Assisting Formal Development.- 10 Conclusions.- 10.1 Summary of Approach.- 10.2 Observations.- 10.3 Future Work.- References.