Multilevel Logic Programming for Software Engineering

Maria Bielikova, Pavol Navrat


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.


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

Full Text:


Creative Commons License
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.

Crossref Similarity Check logo

Crossref logologo_doaj

 Hrvatski arhiv weba logo