Search
Now showing items 1-5 of 5
Viedās tehnoloģijas un to efektivitāte
(Latvijas Universitāte, 2010)
ANOTĀCIJA
Promocijas darbs ir veltīts viedajām tehnoloģijām - idejai, kuras pamatā ir doma
par “intelektuālu” komponenšu iekļaušanu programmatūrā. Viedās tehnoloģijas ir
nefunkcionālo programmatūras īpašībām atbilstoši ...
Galīgie kvantu automāti un loģika
(Latvijas Universitāte, 2010)
Anotācija
Atslēgas vārdi – kvantu automāti, loģika, automāti bezgalīgiem vārdiem.
Matemātiskās loģikas un klasiskās skaitļošanas saistībai ir bijusi liela nozīme datorzinātnes attīstībā.
Tas ir galvenais iemesls, kas ...
Programmatūras izpildes vides testēšana
(Latvijas Universitāte, 2010)
Promocijas darbā piedāvāta jauna programmatūras būves tehnoloģija, kas ļauj programmatūru izstrādāt tā, ka tā patstāvīgi var pārbaudīt savu “dzīvotspēju” dotajā izpildes vidē. Šim mērķim programmatūra tiek papildināta ar ...
Modeļu transformāciju valodu realizācija
(Latvijas Universitāte, 2010)
Pēdējos gados aizvien lielāku popularitāti gūst uz modeļiem balstītā pieeja programmatūras izstrādē (MDSD - Model Driven Software Development). Šīs pieejas pamatideja ir balstīt visus programmatūras izstrādes posmus uz ...
Heterogēnu terminoloģijas resursu konsolidācija
(Latvijas Universitāte, 2010)
Andrejs Vasiļjevs
Promocijas darbā piedāvātas jaunas pieejas datu sistēmu veidošanā un datorizētā informācijas apstrādē, lai risinātu aktuālas problēmas terminoloģijas jomā. Promocijas darbs teorētiski un praktiski parāda, ...