Search
Now showing items 1-7 of 7
Uloga urbanog i ruralnog bloka u formiranju strukture i identiteta naselja u Vojvodini / The Role of the Urban and Rural Block in Forming of Structure and Identity ofSettlements in Vojvodina
(University of Novi Sad, Faculty of Technical Science, 12-04-2010)
Usled pojave novog nacina oblikovanja prostora naselja i uocenih osnovnih tendencija transformacija, pri kojima se gube osnovne karakteristike tradicionalno formiranih blokova, otpocelo je istraživanje uloge urbanog i ...
Jedan pristup generisanju izvršnih softverskih specifikacija informacionog sistema / An Approach to Generating Executable Software Specifications of an Information System
(University of Novi Sad, Faculty of Technical Science, 13-05-2010)
Cilj istraživanja realizovanih u ovom radu, bio je modelovanje i formalna prezentacija jednog pristupa rješenju problema generisanja izvršnih softverskih specifikacija informacionog sistema. Kreiranjem rečnika opšteg modela ...
Razvoj sistema za projektovanje i optimizaciju konstrukcije pribora
(University of Novi Sad, Faculty of Technical Science, 01-07-2010)
U disertaciji se prikazuje razvoj sistema za projektovanje i optimizaciju konstrukcije pribora za mašinsku obradu. Analizirani su različiti prilazi u projektovanu pribora. Prikazana je koncepcija i funkcionisanje razvijenog ...
Jedan pristup generisanju izvršnih softverskih specifikacija informacionog sistema
(University of Novi Sad, Faculty of Technical Science, 13-05-2010)
Cilj istraživanja realizovanih u ovom radu, bio je modelovanje i formalna prezentacija jednog pristupa rješenju problema generisanja izvršnih softverskih specifikacija informacionog sistema. Kreiranjem rečnika opšteg modela ...
Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets
(University of Novi Sad, Faculty of Technical Science, 01-01-2010)
Doktorska disertacija prezentuje nov i opštiji način analiziranja semantike strukturiranih i objektno orijentisanih programa i to isključivo u okvirima predikatske logike prvog reda. Doktorska disertacija razmatra sledeće ...
Информациони систем научно-истраживачке делатности / Informacioni sistem naučno-istraživačke delatnosti
(University of Novi Sad, Faculty of Technical Science, 27-05-2010)
Један од основних постулата друштва знања је доступност знања. Научно-истраживачке институције су један од главних извора верификованих знања. Ова знања су доступна путем интерних информационих система научно-истраживачке ...
Утицај геометријске репрезентације простора на савремену архитектуру / Uticaj geometrijske reprezentacije prostora na savremenu arhitekturu
(University of Novi Sad, Faculty of Technical Science, 27-12-2010)
У оквиру дисертације истражен је утицај геометријске репрезентације простора на развој савремене архитектуре. Показано је на који начин су различите идеје о простору и инструментализација путем медијумa, техникa и алатa ...