> -- Дмитрий_ВБ в viewtopic.php?p=78912#p78912 писал(а):
> Представляется интересным формирование требований к просмотрщикам исходного кода ПО для использования их в целях верификации ПО...С точки зрения стандартов проектировния ПО программа является реализациейалгоритма применительно к аппаратно-программным средствам создаваемой системы.Т.е. алгоритм - это понятие логико-математическое, а компьютерная программа - это понятие из области информационных технологий.Ну, по соотношениям понятий алгоритма и программы дискуссия развернулась основательная...Наверное, если понимать Вас так, что алгоритм - это план поведения для исполнителя типа "абстрактной машины", а программа - конкретизация именно такого плана на "репертуар, багаж и реквизит" конкретной машины, то согласен.

Насчёт требований к виду - как-то пока целесообразна для представления полных сведений о процедуре "трёхполосная вьюшка". Т.е. также и со структурированными комментами - вон как в "Проекте Оберон", говорил уже. Ибо из тех же методов формальной верификации видно, что утверждения для доказательства м.б. нестроги и не единственны (в той же проверке моделей)... и всегда есть соображения, почему именно так были заданы требования (по смыслу).
Форма же м.б. разная - схема, таблица, многоколонный текст. В этом случае уже без "двумерностей маршрутов" - читать будет с-ложно...