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 ...

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 ...

У оквиру дисертације истражен је утицај геометријске репрезентације простора на развој савремене архитектуре. Показано је на који начин су различите идеје о простору и инструментализација путем медијумa, техникa и алатa ...

Један од основних постулата друштва знања је доступност знања. Научно-истраживачке институције су један од главних извора верификованих знања. Ова знања су доступна путем интерних информационих система научно-истраживачке ...

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 ...

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 ...