| Form of studies |
Bachelor |
| Title of the study programm |
Computer Systems |
| Title in original language |
Spec# programmēšanas sistēmas analīze augstas kvalitātes programmatūras izstrādei un uzturēšanai |
| Title in English |
Analysis of Spec# Programming System for High Quality Software Development and Maintenance |
| Department |
12300 Institute of Applied Computer Systems |
| Scientific advisor |
Dr.sc.ing., doc. G.Alksnis |
| Reviewer |
Mg.sc.ing., RTU programmēšanas inženieris, pētnieks P.Rudzājs |
| Abstract |
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. |
| Keywords |
Spec# |
| Keywords in English |
Spec# |
| Language |
lv |
| Year |
2012 |
| Date and time of uploading |
18.06.2012 14:16:45 |
