|
|
|
|
| LEADER |
02684na a2200241 4500 |
| 003 |
HR-ZaFER |
| 005 |
20160516012012.0 |
| 008 |
160221s2014 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid1562
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Maričević, Ivan
|9 35175
|
| 245 |
|
|
|a Rigorozni razvoj programske potpore za scenarij poslovnog procesa :
|b diplomski rad /
|c Ivan Maričević ; [mentor Bruno Blašković].
|
| 246 |
1 |
|
|a Rigorous Software Development for Business Process Scenarios
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b I. Maričević,
|c 2014.
|
| 300 |
|
|
|a 40 str. ;
|c 30 cm +
|e CD-ROM
|
| 502 |
|
|
|b diplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Telekomunikacije i informatika, šifra smjera: 53, datum predaje: 2014-06-30, datum završetka: 2014-07-04
|
| 520 |
3 |
|
|a 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 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.
|
| 520 |
3 |
|
|a Sažetak na engleskom: 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.
|
| 653 |
|
1 |
|a rigorozni razvoj programske potpore
|a UML
|a sekvencijski dijagram
|a Spin
|a Promela
|a paradigma programiranja s automatima
|a TDD
|a JUnit
|
| 653 |
|
1 |
|a Rigorous Software Development
|a UML
|a Sequence diagram
|a Spin
|a Promela
|a Automata-based programming
|a TDD
|a JUnit
|
| 700 |
1 |
|
|a Blašković, Bruno
|4 ths
|9 6663
|
| 942 |
|
|
|2 udc
|c Y
|
| 999 |
|
|
|c 45220
|d 45220
|