Автор работы: Пользователь скрыл имя, 01 Декабря 2012 в 20:03, реферат
Көпшiлiк негiзгi басқару жүйе автор бұл сипаттамасында еруге тырбыңдауға «дайындама» құрылымдық программалау басқарды. Егер түзулылық олардың дәлелденген болса дәлелденген құрылымдық бағдарламалардағы қателердiң мәселелерi болмағанын жиi ойлайды. Өкiнiшке орай, қазiргi жағдай түзулылық дәлел ретiнде қой мұндай күрделi програмдар, ешқандай да сенiмдiлiк тексерудiң жанында берме қазiргi басқару жүйелерiн болып көрiнедi. Қорыта келгенде, жүйенiң сiзiнiң жобалаушысы табылу үшiн шара қолдануы керек болатын және жүйеде қателiктердi өңдеу