Rigorozni razvoj programske potpore za scenarij poslovnog procesa

Maričević, Ivan

prikaz prve stranice dokumenta Rigorozni razvoj programske potpore za scenarij poslovnog procesa

No public access

master's thesis

Rigorozni razvoj programske potpore za scenarij poslovnog procesa

Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. urn:nbn:hr:168:889833

Maričević, Ivan

University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

APA 6th Edition

Maričević, I. (2014). Rigorozni razvoj programske potpore za scenarij poslovnog procesa (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:889833

MLA 8th Edition

Maričević, Ivan. "Rigorozni razvoj programske potpore za scenarij poslovnog procesa." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. https://urn.nsk.hr/urn:nbn:hr:168:889833

Chicago 17th Edition

Harvard

Maričević, I. (2014). 'Rigorozni razvoj programske potpore za scenarij poslovnog procesa', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 25 April 2024, https://urn.nsk.hr/urn:nbn:hr:168:889833

Vancouver

Maričević I. Rigorozni razvoj programske potpore za scenarij poslovnog procesa [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2014 [cited 2024 April 25] Available at: https://urn.nsk.hr/urn:nbn:hr:168:889833

IEEE

I. Maričević, "Rigorozni razvoj programske potpore za scenarij poslovnog procesa", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2014. Available at: https://urn.nsk.hr/urn:nbn:hr:168:889833

Cite this item: https://urn.nsk.hr/urn:nbn:hr:168:889833

Please login to the repository to save this object to your list.

Metadata

Title	Rigorozni razvoj programske potpore za scenarij poslovnog procesa
Title (english)	Rigorous Software Development for Business Process Scenarios
Author	Ivan Maričević
Mentor	Bruno Blašković (mentor)
Committee member	Bruno Blašković (predsjednik povjerenstva)
Committee member	Branko Mikac (član povjerenstva)
Committee member	Aleksandra Čereković (član povjerenstva)
Granter	University of Zagreb Faculty of Electrical Engineering and Computing Zagreb
Defense date and country	2014-07-04, Croatia
Scientific / art field, discipline and subdiscipline	TECHNICAL SCIENCES Computing
Scientific / art field, discipline and subdiscipline	TECHNICAL SCIENCES Electrical Engineering
Abstract	Rad na primjeru implementacije verifikacijskog i implementacijskog modela razmatra rigoroznu paradigmu razvoja programske potpore. Pri definiranju verifikacijskog modela rad prezentira kako izvršiti transformaciju sekvencijskog dijagrama u Promela model, koji se zatim verificira alatom za provjeru modela Spin. Rad također definira rješenje koje implementira skup scenarija u jedan zajednički Promela model. Implementacijski model definira implementaciju sekvencijskog dijagrama objedinjujući primjenu TDD-a s paradigmom programiranja s automatima. Primjenu TDD-a uvelike olakšava automatsko generiranje JUnit testova. U sklopu ovog rada je i ponuđeno programsko rješenje koje automatizira navedene postupke.
Abstract (english)	This study, using an example of implementation of a verification and implementation model, considers a rigorous software development paradigm. In defining the verification model it presents a way to effect transformation of a sequence diagram into a Promela model, which is then verified using the Spin model checker. The study also defines a solution which implements a set of scenarios in a single joint Promela model. The implementation model defines the implementation of the sequence diagram by uniting the application by TDD with the paradigm of automata based programming. The application of TDD greatly facilitates the automatic generation of unit tests. This study also includes software which automates these processes.
Keywords
Keywords (english)
Language	croatian
URN:NBN	urn:nbn:hr:168:889833
Study programme	Title: Information and Communication Technology Study programme type: university Study level: graduate Academic / professional title: magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije (magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije)
Type of resource	Text
File origin	Born digital
Access conditions	Closed access
Terms of use
Public note
Repository	FER Repository
Created on	2018-02-06 10:24:42

Nacionalna i sveučilišna knjižnica u Zagrebu

Dabar