Agregatinių specifikacijų sudarymas ir analizė panaudojant žinių bazes ; Development and analysis of aggregate specifications using knowledge bases

KAUNAS UNIVERSITY OF TECHNOLOGY Germanas Budnikas DEVELOPMENT AND ANALYSIS OF AGGREGATE SPECIFICATIONS USING KNOWLEDGE BASES Summary of Doctoral Dissertation Physical sciences, Informatics (09P) Kaunas, 2004 1 The research was accomplished during the period of 1999 to 2003 at Kaunas University of Technology, Business Informatics Department. Academic supervisor: Prof. Dr. Habil. Henrikas PRANEVI ČIUS (Kaunas University of Technology, Physical Sciences, Informatics - 09P). Council of Informatics trend: Prof. Dr. Habil. Vytautas ŠTUIKYS (Kaunas University of Technology, Physical Sciences, Informatics - 09P) - chairman, Prof. Dr. Habil. Rimantas BARAUSKAS (Kaunas University of Technology, Physical Sciences, Informatics - 09P), Prof. Dr. Habil. Raimundas ČIEGIS (Vilnius Gediminas Technical University, Physical Sciences, Informatics - 09P), Prof. Dr. Habil. Jonas MOCKUS (Institute of Mathematics and Informatics, Physical Sciences, Informatics - 09P), Prof. Dr. Habil. Antanas VERIKAS (Kaunas University of Technology, Physical Sciences, Informatics - 09P). Official opponents: Assoc. Prof. Dr. Albertas ČAPLINSKAS (Institute of Mathematics and Informatics, Physical Sciences, Informatics - 09P), Prof. Dr. Habil. Genadijus KULVIETIS (Vilnius Gediminas Technical University, Technological Sciences, Informatics Engineering - 07T). The official defense of the dissertation will be held at 2 p.m.