Thumbnail
Access Restriction
Subscribed

Author Dietrich, S.W. ♦ Calliss, F.W.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1995
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science ♦ Social sciences ♦ Commerce, communications & transportation ♦ Communications; telecommunication
Subject Keyword Deductive databases ♦ Relational databases ♦ Prototypes ♦ Computer languages ♦ Computer science ♦ Educational institutions ♦ Software maintenance ♦ Encapsulation ♦ Data models ♦ Reverse engineering
Abstract This paper focuses on how the novel integration of intermodule code analysis (IMCA) and deductive database (DD) technology facilitates program understanding and the software maintenance process. Specifically, we describe the implementation of IMCA for the object-based language Ada using the CORAL deductive database system. Since we have future plans to look at other languages and emerging database technologies, we call this implementation IMCA/sub DD//sup Ada/. Specifically, we describe in more detail the architectural issues of IMCA/sub DD//sup Ada/ and its implementation in the CORAL deductive database system, including the detailed schema of the facts and rules. A non-trivial code analysers example illustrates how the flexibility and extendibility of IMCA/sub DD//sup Ada/ facilitates the maintenance process, highlighting the advantages offered by the declarative technology.<<ETX>>
Description Author affiliation: Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA (Dietrich, S.W.; Calliss, F.W.)
ISBN 0780324927
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1995-03-28
Publisher Place USA
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 755.19 kB
Page Count 9
Starting Page 310
Ending Page 318


Source: IEEE Xplore Digital Library