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
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. urn:nbn:hr:168:859809
Paunović, Antonio
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

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 20 July 2024, 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 2024 July 20] 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

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