engleski

Formal Methods in Software Engineering

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

nije evidentirano

nije evidentirano