| OberonCore https://forum.oberoncore.ru/ |
|
| Аналоги трудов Бертрана Мейера для Си++ https://forum.oberoncore.ru/viewtopic.php?f=26&t=6204 |
Страница 2 из 2 |
| Автор: | Wlad [ Понедельник, 08 Январь, 2018 21:48 ] |
| Заголовок сообщения: | Re: Аналоги трудов Бертрана Мейера для Си++ |
Что значит вот это: Info21 писал(а): Постусловие проверяет всё, что можно проверить в имеющихся ограничениях по эффективности. ?Info21 писал(а): Никто не запрещает, например, проверить, что массив действительно упорядочен после сортировки. Факт наличия незапрещения проверки результатов работы чего-либо не означает, что это что-то планирует вообще иметь результат определённой природы, структуры и значений его составляющих.
|
|
| Автор: | Wlad [ Понедельник, 08 Январь, 2018 21:50 ] |
| Заголовок сообщения: | Re: Аналоги трудов Бертрана Мейера для Си++ |
Comdiv писал(а): Wlad писал(а): Подобные разговоры были актуальны где-то до 2005 года. Потом История (для 99% программистов) закончилась. Rifat писал(а): А что случилось в 2005 году? Почему-то сразу приходит на ум посещение Виртом России http://oberon2005.oberoncore.ru/.Вирт как вестник конца истории   Да, действительно, интересное и забавное совпадение. Когда написал, руководствовался только субъективными ощущениями.
|
|
| Автор: | Валерий Лаптев [ Пятница, 02 Ноябрь, 2018 10:08 ] |
| Заголовок сообщения: | Re: Аналоги трудов Бертрана Мейера для Си++ |
Постусловие как цель - смотрим Дисциплину программирования Дейкстры. Из постусловия выводятся предусловия. Меняем цель - меняются предусловия. По-моему, все предельно ясно. |
|
| Страница 2 из 2 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|