Warning message

Nemate dozvolu za prikaz ovog resursa!
prikaz prve stranice dokumenta Rigorozni razvoj programske potpore za scenarij poslovnog procesa
Rad nije dostupan
diplomski rad
Rigorozni razvoj programske potpore za scenarij poslovnog procesa
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. urn:nbn:hr:168:889833
Maričević, Ivan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

Maričević, I. (2014). Rigorozni razvoj programske potpore za scenarij poslovnog procesa (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:889833

Maričević, Ivan. "Rigorozni razvoj programske potpore za scenarij poslovnog procesa." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:889833

Maričević, Ivan. "Rigorozni razvoj programske potpore za scenarij poslovnog procesa." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:889833

Maričević, I. (2014). 'Rigorozni razvoj programske potpore za scenarij poslovnog procesa', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 23.09.2024., https://urn.nsk.hr/urn:nbn:hr:168:889833

Maričević I. Rigorozni razvoj programske potpore za scenarij poslovnog procesa [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2014 [pristupljeno 23.09.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:889833

I. Maričević, "Rigorozni razvoj programske potpore za scenarij poslovnog procesa", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2014. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:889833

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:889833
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovRigorozni razvoj programske potpore za scenarij poslovnog procesa
Naslov (engleski)Rigorous Software Development for Business Process Scenarios
AutorIvan Maričević
MentorBruno Blašković (mentor)
Član povjerenstvaBruno Blašković (predsjednik povjerenstva)
Član povjerenstvaBranko Mikac (član povjerenstva)
Član povjerenstvaAleksandra Čereković (č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 obrane2014-07-04, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Elektrotehnika
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:889833
Studijski programNaziv: Informacijska i komunikacijska tehnologija
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije (mag. ing. inf. et comm. techn.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
RepozitorijRepozitorij FER-a
Datum i vrijeme pohrane2018-02-06 10:24:42