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