Приказ основних података о дисертацији
Analiza osobina dinamičkih postuslova u Horovim tripletima
Analyses of characteristics of dynamic postconditions in Hoare triplets
dc.contributor.advisor | Malbaški, Dušan | |
dc.contributor.other | Hajduković, Miroslav | |
dc.contributor.other | Doroslovački, Rade | |
dc.contributor.other | Gilezan, Silvia | |
dc.contributor.other | Berković, Ivana | |
dc.contributor.other | Malbaški, Dušan | |
dc.creator | Купусинац, Александар | |
dc.date.accessioned | 2016-05-28T14:44:02Z | |
dc.date.available | 2016-05-28T14:44:02Z | |
dc.date.available | 2020-07-03T14:15:02Z | |
dc.date.issued | 2010-01-01 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/5373 | |
dc.identifier.uri | http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)77408&fileName=disertacija.pdf&id=287&source=NaRDuS&language=sr | sr |
dc.identifier.uri | http://www.cris.uns.ac.rs/record.jsf?recordId=77408&source=NaRDuS&language=sr | sr |
dc.description.abstract | 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 teme: 1.) S-programski račun, 2.) Definicija i osobine dinamičkih postuslova u S-računu, 3.) Konceptualne definicije objekta, klase i invarijante, 4.) Analiza invarijanata u klasi (SP-analiza i DP-analiza). | sr |
dc.description.abstract | Doctoral thesis presents a new and more general method for analizing of structured and object-oriented program semantics, based on the first-order predicate logic. Doctoral thesis consideres next topics: 1.) S-program calculus, 2.) Definition and characteristics of dynamic postconditions in S-calculus, 3.) Conceptual definitions of object, class and invariant, 4.) Analyses of invariants in class (SP-analyses and DP-analyses). | en |
dc.format | application/pdf | |
dc.language | sr (latin script) | |
dc.publisher | Универзитет у Новом Саду, Факултет техничких наука | sr |
dc.relation | info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174026/RS// | |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/share-your-work/public-domain/cc0/ | |
dc.source | Универзитет у Новом Саду | sr |
dc.subject | Predikatska logika prvog reda | sr |
dc.subject | First-order predicate logic | en |
dc.subject | S-program calculus | en |
dc.subject | Dynamic postconditions | en |
dc.subject | Analyses of invariants in class | en |
dc.subject | S-programski račun | sr |
dc.subject | Dinamički postuslovi | sr |
dc.subject | Analiza invarijanta u klasi | sr |
dc.title | Analiza osobina dinamičkih postuslova u Horovim tripletima | sr |
dc.title | Analyses of characteristics of dynamic postconditions in Hoare triplets | en |
dc.type | doctoralThesis | en |
dc.rights.license | CC0 | |
dcterms.abstract | Малбашки, Душан; Хајдуковић, Мирослав; Дорословачки, Раде; Гилезан, Силвиа; Берковић, Ивана; Малбашки, Душан; Kupusinac, Aleksandar; Aнализа особина динамичких постуслова у Хоровим триплетима; Aнализа особина динамичких постуслова у Хоровим триплетима; | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/43903/Disertacija2617.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/43903/Disertacija2617.pdf | |
dc.identifier.doi | 10.2298/ns20101213kupusinac | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_5373 |