Strossmayerov trg 4, HR - 10000 ZAGREB
tel.: (01) 459 44 44, faks: (01) 459 44 69
E-mail: ured@znanost.hr
SVIBOR - Prikupljanje podataka o projektima u RH
Šifra projekta: 1-02-130
SPECIFIKACIJA I IMPLEMENTACIJA NEKIH PROGRAMSKIH SUČELJA
Glavni istraživač
: ČUBRILO, MIRKO (135963) Suradnici
TKALAC, SLAVKO (49596)
KERMEK, DRAGUTIN (136014)
VARGA, MIRKO (118391)
MATELJAN, VLADIMIR (188826)
Tip istraživanja: primjenjeno Trajanje od: 30.04.91. do 30.04.94. Ukupno radova na projektu: 17
Naziv ustanove: Fakultet organizacije i informatike, Varaždin (16)
Komunikacija
teleFaks: 385 (0)42 55594
Telefon: 385 (0)42 51199
Sažetak: Projekt je strukturiran oko problema specifikacije iŤ
implementacije nekih programskih sučelja. Okuplja nekolicinuŤ
istraživača različitih područja interesa (oblikovanje bazaŤ
podataka, logičko programiranje i umjetna inteligencija, dizajn iŤ
implementacija informacijskih sustava). Svaki od njih u svomŤ
području interesa bavio se i bavi i problemima razvojaŤ
odgovarajućih programskih (korisničkih i ostalih) sučelja.Ť
Rezultati istraživanja od kojih su neki teorijske prirodeŤ
objavljeni su kroz niz članaka, dva magistarska rada i jednuŤ
doktorsku disertaciju.
Ključne riječi: programska sučelja, račun predikata, račun funkcijskih ovisnosti, račun višeznačnih ovisnosti, relacijski model podataka, pravilo rezolucije, Prolog, informacijski sustavi, objektno-orijentirani razvoj programa
Ciljevi istraživanja: Brzim širenjem kruga korisnika računala na
važnosti dobiva razvoj prijateljskih sučelja između korisnika i računala.
Donedavno su rudimentarna sučelja razvijana i implementirana AD HOC
metodama, tj. bez sistemskog pristupa. Cilj istraživanja je specifikacija i
(prototipna) implementacija programskih sučelja slijedećih tipova:
-grafički editor formula računa funkcijskih ovisnosti -sučelje za
automatsko preoblikovanje funkcijskih ovisnosti relacijskog modela podataka
u ekvivalentne skupove disjunkta računa sudova Slijedeći cilj je
istraživanje mogućnosti spajanja paradigmi logičkog i
objektno-orijentiranog programiranja u cilju ujedinjavanja logičke i
grafičke podrške, nužne za rješavanje opisanih problema. Istraživanja će
biti uklopljena u nekoliko širih projekata pojedinih istraživača
(magistarski radovi i doktorske disertacije te mentorstva) Ostali podaci o projektu.