| Title |
Agregatinių specifikacijų sudarymas ir analizė panaudojant žinių bazes |
| Translation of Title |
Development and analysis of aggregate specifications using knowledge bases. |
| Authors |
Budnikas, Germanas |
| Full Text |
|
| Pages |
25 |
| Keywords [eng] |
computer ; kompiuteriai ; software ; programinė įranga |
| Abstract [eng] |
Aim of the study. The aim of the study is to develop technique for development and analysis of static and dynamic properties of aggregate specifications using knowledge bases. |
| Type |
Summaries of doctoral thesis |
| Language |
English |
| Publication date |
2005 |
