Descripción del título
A Knowledge-Based Approach ...
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. Audience: Computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use. Suitable as a secondary text for graduate level courses in software engineering and logic programming, and as a reference for researchers and practitioners in industry
Monografía
monografia Rebiun25162790 https://catalogo.rebiun.org/rebiun/record/Rebiun25162790 m o d cr mnu---uuaaa 121227s1995 mau o 000 0 eng 935297354 9781461522799 electronic bk.) 146152279X electronic bk.) 9781461359616 print) 1461359619 print) 9780792396055 0792396057 10.1007/978-1-4615-2279-9 doi AU@ 000051723778 NZ1 14985900 NZ1 15313821 AU@ eng pn AU@ OCLCO OCLCQ OCLCO GW5XE OCLCQ OCLCF UA@ COO OCLCQ EBLCP OCLCQ UAB OCLCA OCLCQ AU@ TKN LEAUB OCLCQ UMZ bicssc UL bicssc COM051230 bisacsh 005.1 23 Abd-El-Hafiz, Salwa K. A Knowledge-Based Approach to Program Understanding by Salwa K. Abd-El-Hafiz, Victor R. Basili Boston, MA Springer US 1995 Boston, MA Boston, MA Springer US 1 online resource (xvii, 119 pages) 1 online resource (xvii, 119 pages) Text txt rdacontent computer c rdamedia online resource cr rdacarrier The Kluwer International Series in Engineering and Computer Science 0893-3405 325 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 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. Audience: Computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use. Suitable as a secondary text for graduate level courses in software engineering and logic programming, and as a reference for researchers and practitioners in industry Computer science Software engineering Artificial intelligence Artificial intelligence. Computer science. Software engineering. Electronic books Basili, Victor R. Print version 9780792396055 Kluwer international series in engineering and computer science 325