Slika naslovnice

Rigorozni razvoj programske potpore za scenarij poslovnog procesa

Sažetak na hrvatskom: 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 verificir...

Full description

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:45220/Similar
Glavni autor: Maričević, Ivan (-)
Ostali autori: Blašković, Bruno (Thesis advisor)
Vrsta građe: Drugo
Impresum: Zagreb, I. Maričević, 2014.
Predmet:
rigorozni razvoj programske potpore > UML > sekvencijski dijagram > Spin > Promela > paradigma programiranja s automatima > TDD > JUnit
Rigorous Software Development > UML > Sequence diagram > Spin > Promela > Automata-based programming > TDD > JUnit

APA stil citiranja

Maričević, I., & Blašković, B. (2014). Rigorozni razvoj programske potpore za scenarij poslovnog procesa: Rigorozni razvoj programske potpore za scenarij poslovnog procesa : diplomski rad. Zagreb: I. Maričević.

Chicago stil citiranja

Maričević, Ivan, and Bruno Blašković. Rigorozni razvoj programske potpore za scenarij poslovnog procesa: Rigorozni razvoj programske potpore za scenarij poslovnog procesa : diplomski rad. Zagreb: I. Maričević, 2014.

MLA stil citiranja

Maričević, Ivan, and Bruno Blašković. Rigorozni razvoj programske potpore za scenarij poslovnog procesa: Rigorozni razvoj programske potpore za scenarij poslovnog procesa : diplomski rad. Zagreb: I. Maričević, 2014.

Slični primjerci