| Studiju veids |
bakalaura akadēmiskās studijas |
| Studiju programmas nosaukums |
Datorsistēmas |
| Nosaukums |
Spec# programmēšanas sistēmas analīze augstas kvalitātes programmatūras izstrādei un uzturēšanai |
| Nosaukums angļu valodā |
Analysis of Spec# Programming System for High Quality Software Development and Maintenance |
| Struktūrvienība |
12300 Lietišķo datorsistēmu institūts |
| Darba vadītājs |
Dr.sc.ing., doc. G.Alksnis |
| Recenzents |
Mg.sc.ing., RTU programmēšanas inženieris, pētnieks P.Rudzājs |
| Anotācija |
Bakalaura darbā izpētīta Spec# programmēšanas sistēma. Spec# programmēšanas sistēma ir Microsoft projekts, kuru vada Microsoft Research. Spec# programmēšanas sistēma ir jaunākais Microsoft projekts .NET papildināšanai un attīstībai. Projekts tika sākts, lai gūtu pieredzi programmējot ar metožu specifikācijām un objektorientētas programmēšanas objektu specifikācijām (objektu invariantiem). Projekta uzdevums ir panākt pēc iespējas pareizāku verifikāciju gan izmantojot statisko, gan dinamisko testēšanu, ko veic Spec# programmēšanas sistēma.
Bakalaura darba pētījuma daļa tika izanalizētas Spec# iespējas un jauninājumi .NET bibliotēkai. Tika analizēta gan Spec# prgrammēšanas valoda, gan arī verifikators Boogie.
Bakalaura darba ietvaros tika izveidotas klases Spec# un C# programmēšanas valodās, lai salīdzinātu iespējas un izprastu Spec# priekšrocības. Tika izveidota datu struktūra ar kuras palīdzību uzglabāt datus binārās meklēšanas koks.
Bakalaura darbā ir ievads, nobeigums un divas nodaļas, kas izklāstīti 33 lappusēs, un 27 attēli. Tika izmantoti 30 literatūras avoti. |
| Atslēgas vārdi |
Spec# |
| Atslēgas vārdi angļu valodā |
Spec# |
| Valoda |
lv |
| Gads |
2012 |
| Darba augšupielādes datums un laiks |
18.06.2012 14:16:45 |
