Noslēguma darbu reģistrs
  
Studiju darba apraksts
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 33000 Datorzinātnes, informācijas tehnoloģijas un enerģētikas fakultāte
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