Izvršna specifikacija za analizu scenarija CoCoME modela

završni rad

• Naslov (engleski): Executable Specification for Scenario Analysis in CoCoME Model
• Autor: Antonio Paunović
• Mentor: Bruno Blašković (mentor)
• Član povjerenstva: Bruno Blašković (predsjednik povjerenstva)
• Član povjerenstva: Marko Banek (član povjerenstva)
• Član povjerenstva: Mihaela Vranić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2014-09-10, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Rad se bavi istraživanjem mogućnosti stvaranja izvršne specifikacije nekog programskog sustava na način da se iz njegovog neformalnog opisa, funkcionalni zahtjevi, UML dijagrami, itd. preko automata stanja automatskim programiranjem generira konačna izvršna specifikacija. Ciljani sustavi koji bi se rješavali ovim sustavom bili bi kritične aplikacije koje se dizajniraju rigidnim modelom razvoja.

Sažetak (engleski)

This work explores possibilites of genereting some sodftware systems executable specification through its informal description, functional requirements, UML diagrams, state automata and finally to the executable specification. This method of problem solving is well suited for the development of critical systems using the rigid develomplent model.

• Ključne riječi: automatsko programiranje; korisnički zahtjev; automati stanja; izvršna specifikacija
• Ključne riječi (engleski): automatic programming; the user request; state machine; executable specification
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:859809
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2018-02-05 17:47:59