"Правильность" построения системы - Методология внедрения

16.09.2009, 21:43

mazzy

Участник

29,472 / 4494 (208)

Регистрация: 29.11.2001

Адрес: Москва

Записей в блоге: 10

Цитата:

Сообщение от AX2009

{Pre(x)}P(x,z){Post(x,z)}
Доказательство полной корректности обычно состоит из двух независимых этапов - доказательства частичной корректности и доказательства завершаемости программы

И это называется Верификация.
ищите в яндексе, гугле.
http://ru.wikipedia.org/wiki/%D0%92%...86%D0%B8%D1%8F
есть и книги http://market.yandex.ru/model.xml?hi...37912531229085

__________________
полезное на axForum, github, vk, coub.

Теги

аудит кода, верификация, как правильно, экспертиза, проекты

« Предыдущая тема | Следующая тема »

Похожие темы
Тема	Автор	Раздел	Ответов	Посл. сообщение
Каков процент внедрений "стандартной" поставки системы Аксапта?	coolibin	DAX: Прочие вопросы	17	10.02.2009 12:45
Описание функциональности модуля "Аудит действий пользователей системы"	D.Cheprasov	DAX: Прочие вопросы	2	22.03.2004 04:32
"LIKE" и "OR" в "qbds"	@x	DAX: Программирование	14	20.01.2004 13:20
Введение в Аксапту	Роман Кошелев	DAX: Прочие вопросы	0	18.12.2001 14:00
Внедрение в группе компаний "Счастливый Кроха"	Михаил Андреев	DAX: Прочие вопросы	1	04.12.2001 22:42

Ваши права в разделе
Вы не можете создавать новые темы Вы не можете отвечать в темах Вы не можете прикреплять вложения Вы не можете редактировать свои сообщения BB коды Вкл. Смайлы Вкл. [IMG] код Вкл. HTML код Выкл.