Naslov
Formalne metode u softverskom inženjerstvu
(Formal Methods in Software Engineering)

Autori
Dobrović, Željko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), stručni

Izvornik
CASE 14 Metode i alati za projektiranje informacijskih sustava / - Rijeka, 2002, 25-34

Skup
CASE 14 Metode i alati za projektiranje informacijskih sustava

Mjesto i datum
Zagreb, Hrvatska, 03.06.2002. - 06.06.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Domaća recenzija

Sažetak
Šezdesetih godina prošlog stoljeća informatička se zajednica suočila s neuspjehom u pokušaju izgradnje većih informacijskih sustava, iako su na raspolaganju bila dovoljno jaka računala i programski jezici. Ova situacija je poznata kao &#8220 ; ; kriza softvera&#8221 ; ; , a rješenje je ponuđeno na sastancima NATO-vog odbora za znanost 1968. i 1969. godine. Nakon što se došlo do zaključka da je u razvoju informacijskih sustava potreban inženjerski pristup, uveden je pojam &#8220 ; ; softversko inženjerstvo&#8221 ; ; i određene su formalne metode na kojima treba počivati razvoj softvera. Od tada pa do danas, filozofija na kojoj počivaju formalne metode nije se promijenila. U zadnja tri desetljeća razvijen je velik broj metoda i metodika koje se koriste u razvoju IS. Sve su one nastale na zajedničkim temeljima koje su osigurale formalne metode. Međutim, kako se tijekom razvoja strukturnih metoda interes pomicao od programiranja prema analizi informacijskih sustava, značaj formalnih metoda je bio sve manje uočljiv. Danas mnogi projektanti koriste suvremene metode za pojedine faze životnog ciklusa razvoja IS, a da nisu ni svjesni formalizma koji leži u temeljima tih metoda. Međutim, jedan od preduvjeta za učinkovito korištenje metoda razvoja IS je upravo razumijevanje formalizma bez kojeg te metode ne bi mogli biti razvijene.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA