Multilevel Logic Programming for Software Engineering

Abstract

This research has been motivated by the need to provide more lucid and effective means for describing and structuring all the various knowledge related to certain software engineering tasks, such as a version selection. Our approach offers means of abstraction for expressing various kinds of knowledge involved in the related process. It also offers techniques for structuring them according to both generality levels and to knowledge content, i.e. meta-levels. To illustrate these ideas, we show how multilevel programming can be used to model a method for version selection. Our objective was to achieve an effective automated version selection - which is an important task in software configuration management - by means of incorporating heuristic filters in that process.