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...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:45220 |
|---|---|
| Glavni autor: | Maričević, Ivan (-) |
| Ostali autori: | Blašković, Bruno (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
I. Maričević,
2014.
|
| Predmet: |