Претраживање
Приказ резултата 1-6 од 6
Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets
(Универзитет у Новом Саду, Факултет техничких наука, 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 ...
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
(Универзитет у Новом Саду, Факултет техничких наука, 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 ...
Утицај геометријске репрезентације простора на савремену архитектуру / Uticaj geometrijske reprezentacije prostora na savremenu arhitekturu
(Универзитет у Новом Саду, Факултет техничких наука, 27-12-2010)
У оквиру дисертације истражен је утицај геометријске репрезентације простора на развој савремене архитектуре. Показано је на који начин су различите идеје о простору и инструментализација путем медијумa, техникa и алатa ...
Информациони систем научно-истраживачке делатности / Informacioni sistem naučno-istraživačke delatnosti
(Универзитет у Новом Саду, Факултет техничких наука, 27-05-2010)
Један од основних постулата друштва знања је доступност знања. Научно-истраживачке институције су један од главних извора верификованих знања. Ова знања су доступна путем интерних информационих система научно-истраживачке ...
Razvoj sistema za projektovanje i optimizaciju konstrukcije pribora
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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 ...