Original scientific paper

Multilevel Logic Programming for Software Engineering

Maria Bielikova ; Slovak University of Technology, Dept. of Comp. Sci. and Eng., Bratislava, Slovakia
Pavol Navrat ; Slovak University of Technology, Dept. of Comp. Sci. and Eng., Bratislava, Slovakia

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.

Keywords

module; multilevel logic; Prolog; software configuration management; version control; heuristic selection programming

Hrčak ID:

150265

URI

https://hrcak.srce.hr/150265

Publication date:

30.6.1997.

Visits: 459 *