A fejlesztésben használt szoftvermodellek alkalmazása és minősítése

Abstract

A feladatok komplexitásának növekedésével a fejlesztőknek különböző eszközöket kell használni. Erről egy előző publikációban már részletesen beszéltünk. Ebben a cikkben egy speciális területet érintünk, amely napjainkban egyre inkább előtérbe kerül, ez a modellek alkalmazásának kérdése. A modellek alkalmazása biztonságkritikus rendszerekben azonban felveti a modellek megbízhatóságának kérdését, illetve ezeknek a szoftvereszközöknek a minősítési kérdéseit.