Цитата:
Сообщение от Николай Николаевич
" Двое в комнате - я и ...." (с). Шучу, конечно.
По сути утверждения - согласен.
Только это противоречит самому понятию "декларирование", в основе которого лежит понятие "собственные доказательства"...
|
Если честно, не вижу никаких противоречий. "Собственные доказательства" - мат.выкладки, ОБ итд.итп.
Вот представьте, что кто-то написал ПО для МПЦ. Сделал это для абстрактной станции "макетная", которая состоит из переезда, 20 стрелок и 35 светофоров. Потом проверили это согласно "проверочных таблиц". Вот это и есть собственные доказательства. Но это должен подтвердить независимый ИЦ.
