prikaz prve stranice dokumenta Izvršna specifikacija za analizu scenarija CoCoME modela
No public access
undergraduate thesis
Izvršna specifikacija za analizu scenarija CoCoME modela
2014. urn:nbn:hr:168:859809
Paunović, Antonio
University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

Paunović, A. (2014). Izvršna specifikacija za analizu scenarija CoCoME modela (Undergraduate thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:859809

Paunović, Antonio. "Izvršna specifikacija za analizu scenarija CoCoME modela." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. https://urn.nsk.hr/urn:nbn:hr:168:859809

Paunović, Antonio. "Izvršna specifikacija za analizu scenarija CoCoME modela." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. https://urn.nsk.hr/urn:nbn:hr:168:859809

Paunović, A. (2014). 'Izvršna specifikacija za analizu scenarija CoCoME modela', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 16 March 2025, https://urn.nsk.hr/urn:nbn:hr:168:859809

Paunović A. Izvršna specifikacija za analizu scenarija CoCoME modela [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2014 [cited 2025 March 16] Available at: https://urn.nsk.hr/urn:nbn:hr:168:859809

A. Paunović, "Izvršna specifikacija za analizu scenarija CoCoME modela", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2014. Available at: https://urn.nsk.hr/urn:nbn:hr:168:859809

Please login to the repository to save this object to your list.
Metadata
TitleIzvršna specifikacija za analizu scenarija CoCoME modela
Title (english)Executable Specification for Scenario Analysis in CoCoME Model
AuthorAntonio Paunović
MentorBruno Blašković (mentor)
Committee memberBruno Blašković (predsjednik povjerenstva)
Committee memberMarko Banek (član povjerenstva)
Committee memberMihaela Vranić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2014-09-10, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:859809
Study programmeTitle: Computing
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2018-02-05 17:47:59