A Knowledge-Based Approach to Program Understanding PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download A Knowledge-Based Approach to Program Understanding PDF full book. Access full book title A Knowledge-Based Approach to Program Understanding by Salwa K. Abd-El-Hafiz. Download full books in PDF and EPUB format.
Author: Salwa K. Abd-El-Hafiz
Publisher: Springer Science & Business Media
ISBN: 146152279X
Category : Computers
Languages : en
Pages : 128
Get Book Here
Book Description
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.
Author: Salwa K. Abd-El-Hafiz
Publisher: Springer Science & Business Media
ISBN: 146152279X
Category : Computers
Languages : en
Pages : 128
Get Book Here
Book Description
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.
Author: M. J. Aslett
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 272
Get Book Here
Book Description
The ASPIS development method. The language used in ASPIS. ASPIS in operation. Specification of requirements. Prototyping. Design. Control of change. Knowlede acquisition. Design of the ASPIS system. The infrastructure of ASPIS. The analysis assistant. The design assistant. The reuse assistant. The prototyping assistant. Discussion. The ASPIS approach to systems development.
Author: Dorothy E. Setliff
Publisher: Springer Science & Business Media
ISBN: 058534714X
Category : Computers
Languages : en
Pages : 105
Get Book Here
Book Description
Knowledge-Based Software Engineering brings together in one place important contributions and up-to-date research results in this important area. Knowledge-Based Software Engineering serves as an excellent reference, providing insight into some of the most important research issues in the field.
Author: Tomáš Hruška
Publisher:
ISBN: 9784274903915
Category : Computer software
Languages : en
Pages : 352
Get Book Here
Book Description
Author: Pavol Návrat
Publisher: IOS Press
ISBN: 9789051994179
Category : Computers
Languages : en
Pages : 340
Get Book Here
Book Description
This text collects contributions from different countries to a wide range of topics in software engineering. Special emphasis is given to application of knowledge-base methods to software engineering problems. The papers tackle such areas as architecture of software and design patterns.
Author: Jeffrey J.-P. Tsai
Publisher: World Scientific
ISBN: 9789810211288
Category : Computers
Languages : en
Pages : 244
Get Book Here
Book Description
The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.
Author: Alla Kravets
Publisher: Springer
ISBN: 3319118544
Category : Computers
Languages : en
Pages : 763
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 11th Joint Conference on Knowledge-Based Software-Engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. The 59 full and 3 short papers presented were carefully reviewed and selected from 197 submissions. The papers are organized in topical sections on methodology and tools for knowledge discovery and data mining; methods and tools for software engineering education; knowledge technologies for semantic web and ontology engineering; knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; natural language processing, image analysis and recognition; knowledge-based methods and applications in information security, robotics and navigation; decision support methods for software engineering; architecture of knowledge-based systems, including intelligent agents and softbots; automating software design and synthesis; knowledge management for business processes, workflows and enterprise modeling; knowledge-based methods and applications in bioscience, medicine and justice; knowledge-based requirements engineering, domain analysis and modeling; intelligent user interfaces and human-machine interaction; lean software engineering; program understanding, programming knowledge, modeling programs and programmers.
Author: Rahman El Sheikh, Asim Abdel
Publisher: IGI Global
ISBN: 1613500513
Category : Computers
Languages : en
Pages : 370
Get Book Here
Book Description
Business intelligence applications are of vital importance as they help organizations manage, develop, and communicate intangible assets such as information and knowledge. Organizations that have undertaken business intelligence initiatives have benefited from increases in revenue, as well as significant cost savings.Business Intelligence and Agile Methodologies for Knowledge-Based Organizations: Cross-Disciplinary Applications highlights the marriage between business intelligence and knowledge management through the use of agile methodologies. Through its fifteen chapters, this book offers perspectives on the integration between process modeling, agile methodologies, business intelligence, knowledge management, and strategic management.
Author: Angel P. del Pobil
Publisher: Springer
ISBN: 3540693483
Category : Computers
Languages : en
Pages : 911
Get Book Here
Book Description
This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.The two volumes present a total of 187 revised full papers selected from 291 submissions. In accordance with the conference, the books are devoted to new methodologies, knowledge modeling and hybrid techniques. The papers explore applications from virtually all subareas of AI including knowledge-based systems, fuzzyness and uncertainty, formal reasoning, neural information processing, multiagent systems, perception, robotics, natural language processing, machine learning, supervision and control systems, etc..
Author: Vaclav Snasael
Publisher: Springer
ISBN: 3642224105
Category : Computers
Languages : en
Pages : 566
Get Book Here
Book Description
This two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the International Conference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011. The 91 revised full papers of both volumes presented together with 4 invited talks were carefully reviewed and selected from 235 submissions. The papers are organized in topical sections on network security; Web applications; data mining; neural networks; distributed and parallel processing; biometrics technologies; e-learning; information ethics; image processing; information and data management; software engineering; data compression; networks; computer security; hardware and systems; multimedia; ad hoc network; artificial intelligence; signal processing; cloud computing; forensics; security; software and systems; mobile networking; and some miscellaneous topics in digital information and communications.
