|
|
|
|
| LEADER |
01910na a2200241 4500 |
| 003 |
HR-ZaFER |
| 005 |
20160516012005.0 |
| 008 |
160221s2014 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid1157
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Paunović, Antonio
|9 35675
|
| 245 |
|
|
|a Izvršna specifikacija za analizu scenarija CoCoME modela :
|b završni rad /
|c Antonio Paunović ; [mentor Bruno Blašković].
|
| 246 |
1 |
|
|a Executable Specification for Scenario Analysis in CoCoME Model
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b A. Paunović,
|c 2014.
|
| 300 |
|
|
|a 34 str. ;
|c 30 cm +
|e CD-ROM
|
| 502 |
|
|
|b preddiplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Računarska znanost, šifra smjera: 41, datum predaje: 2014-06-13, datum završetka: 2014-09-10
|
| 520 |
3 |
|
|a Sažetak na hrvatskom: Rad se bavi istraživanjem mogućnosti stvaranja izvršne specifikacije nekog programskog sustava na način da se iz njegovog neformalnog opisa, funkcionalni zahtjevi, UML dijagrami, itd. preko automata stanja automatskim programiranjem generira konačna izvršna specifikacija. Ciljani sustavi koji bi se rješavali ovim sustavom bili bi kritične aplikacije koje se dizajniraju rigidnim modelom razvoja.
|
| 520 |
3 |
|
|a Sažetak na engleskom: This work explores possibilites of genereting some sodftware systems executable specification through its informal description, functional requirements, UML diagrams, state automata and finally to the executable specification. This method of problem solving is well suited for the development of critical systems using the rigid develomplent model.
|
| 653 |
|
1 |
|a automatsko programiranje
|a korisnički zahtjev
|a automati stanja
|a izvršna specifikacija
|
| 653 |
|
1 |
|a automatic programming
|a the user request
|a state machine
|a executable specification
|
| 700 |
1 |
|
|a Blašković, Bruno
|4 ths
|9 6663
|
| 942 |
|
|
|c Z
|2 udc
|
| 999 |
|
|
|c 44967
|d 44967
|