Search
Now showing items 1-10 of 22
Programmatūras paštestēšana
(Latvijas Universitāte, 2012)
Anotācija
Darbs satur pārskatu par piecu gadu pētījumu rezultātiem paštestēšanas jomā.
Paštestēšana 2007.gadā tika definēta kā viena no viedttehnoloģiju virzieniem, kurus
apvieno vēlme aprīkot programmatūru ar dzīvu būtņu ...
Modeļu transformāciju izstrāde izmantojot attēlojumus un valodu TemplateMOLA
(Latvijas Universitāte, 2012)
Darbā pētīta modeļu transformāciju izstrāde 3 specializētos problēmu apgabalos: transformācijas modeļ-bāzētai izstrādei, transformācijas grafisku modelēšanas valodu rīku būvei un transformācijas, kas sintezē transformācijas. ...
Kvantu vaicājošo algoritmu un komunikāciju protokolu sarežģītība
(Latvijas Universitāte, 2012)
Anotacija
Kvantu skaitošana ir datorzinatnes apakšnozare, kas balstas uz kvantu mehanikas
likumiem, kuru iespejas un priekšrocibas tiek izmantotas, lai efektivak risinatu
skaitošanas uzdevumus. Galvenais darba petamais ...
ONTO6 metodoloģija informatizācijas konceptualizācijai
(Latvijas Universitāte, 2011)
Promocijas darbā "ONTO6 metodoloģija informatizācijas konceptualizācijai" izpētītas kopējās informatizācijas likumsakarības – kā nonākt pie konkrētā informatizējamā priekšmetu apgabala jēdzieniem un to īpašībām. Autors ...
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 ...
Ierobežotas latviešu valodas formālā gramatika un semantika
(Latvijas Universitāte, 2011)
Promocijas darba pētījuma priekšmets ir latviešu valodas kā izteikti fleksīvas, sintētiskas
valodas automātiska gramatiskā un semantiskā analīze. Darbā ir piedāvāts oriģināls,
hibrīds gramatikas modelis, kas ir piemērots ...
Kvantu vaicājošo algoritmu sarežģītība
(Latvijas Universitāte, 2011)
Vaicājošie algoritmi ir viens no ērtākiem modeļiem kvantu sarežģītības pētīšanai. Promocijas darbā ir pētīti vaicājošie algoritmi funkcijām, kuras ir bāzētas uz pilniem Heminga un Rīda-Solomona kodiem.
Mēs rādām kā uzkonstruēt ...
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 ...