Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Application of Formal Methods in Development of Information Systems (CROSBI ID 609774)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Dobrović, Željko ; Lovrenčić, Alen Application of Formal Methods in Development of Information Systems // Proceedings of 24th Central European Conference on Information and Intelligent Systems / Hunjak, Tihomir ; Lovrenčić, Sandra ; Tomičić, Igor (ur.). Varaždin: Fakultet organizacije i informatike Sveučilišta u Zagrebu, 2013. str. 268-275

Podaci o odgovornosti

Dobrović, Željko ; Lovrenčić, Alen

engleski

Application of Formal Methods in Development of Information Systems

During the 1960s IS community faced the failure of unsuccessful development of complex information systems, in spite of heaving large computers and higher programming languages available. This situation is known as “software crisis” and solution is recommended at conferences sponsored by NATO in 1968. and 1969. After participants have come up with the conclusion that more engineer- like discipline is needed in IS development, the term “software engineering” was introduced. Software engineering was based upon some formal methods that should be used in software development process. Since then philosophy that underpins the formal methods hasn’t changed. Numerous methods and methodologies have been developed for supporting the IS development in last three decades. Majority, if not all of them, are based on common foundations provided by formal methods. However, the importance of formal methods decreased as development of structured methods shifted from programming to the analysis of IS, because analysis doesn’t look so “formal”. Great number of IS developers nowadays use contemporary IS development methods without even being aware of formalism that lay inside these methods. The authors in this paper elaborate the formal methods and propose the possible area of their usage in information system development

formal methods; information systems; methodology

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

268-275.

2013.

objavljeno

Podaci o matičnoj publikaciji

Proceedings of 24th Central European Conference on Information and Intelligent Systems

Hunjak, Tihomir ; Lovrenčić, Sandra ; Tomičić, Igor

Varaždin: Fakultet organizacije i informatike Sveučilišta u Zagrebu

Podaci o skupu

Central European Conference on Information and Intelligent Systems

predavanje

18.09.2013-20.09.2013

Varaždin, Hrvatska

Povezanost rada

Informacijske i komunikacijske znanosti