| Studiju veids |
bakalaura akadēmiskās studijas |
| Studiju programmas nosaukums |
Datorsistēmas |
| Nosaukums |
Formālo specifikāciju valodas Alloy analīze |
| Nosaukums angļu valodā |
Analysis of Formal Specification Language "Alloy" |
| Struktūrvienība |
12300 Lietišķo datorsistēmu institūts |
| Darba vadītājs |
Dr.sc.ing., doc. G.Alksnis |
| Recenzents |
|
| Anotācija |
Bakalaura darbā Formālo specifikāciju valodas Alloy analīze aprakstīta Alloy nepieciešamība un atbilstība, kā arī tās lietošana dažādu problēmsfēru uzdevumu risināšanai. Alloy ir viena no formālo specifikāciju valodu zara pārstāvēm un, kopā ar tās alternatīvo valodu kopu, veicina formālo specifikāciju lietošanu ne tikai kritisko sistēmu izstrādē. Darbā apskatītas Alloy priekšrocības, un trūkumi.
Darba analītiskajā daļā tiek izpētīta Alloy valoda, dots tās izcelsmes skaidrojums, kā arī salīdzinājums ar citām formālo specifikāciju valodām. Analītiskais komponents demonstrē arī Alloy semantikai un sintaksei atbilstošus piemērus, kas šīs struktūras definē un paskaidro.
Darba praktiskais komponents ir veidots stilā, lai, demonstrējot rīku Alloy Analyzer, parādītu dažādas iespējas problēmsfēras uzdevumu risināšanā. Šajā daļā tiek demonstrēti divi piemēri bakalaura darba tēmas izvēles modelis un atjautības uzdevuma spēles risinājuma modelis.
Šis darbs varētu būt noderīgs tiem, kas vēlas ko vairāk uzzināt par formālo specifikāciju kopu, kā arī sīkāk pielietojumā skatīt Alloy valodas iespējas. |
| Atslēgas vārdi |
Alloy, Formālās specifikācijas |
| Atslēgas vārdi angļu valodā |
Alloy Analyzer, Formal Specification |
| Valoda |
lv |
| Gads |
2012 |
| Darba augšupielādes datums un laiks |
28.05.2012 11:18:05 |
