OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 18:07

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 23 ]  На страницу Пред.  1, 2
Автор Сообщение
СообщениеДобавлено: Понедельник, 08 Январь, 2018 21:48 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
Что значит вот это:
Info21 писал(а):
Постусловие проверяет всё, что можно проверить в имеющихся ограничениях по эффективности.
?
Info21 писал(а):
Никто не запрещает, например, проверить, что массив действительно упорядочен после сортировки.
Факт наличия незапрещения проверки результатов работы чего-либо не означает, что это что-то планирует вообще иметь результат определённой природы, структуры и значений его составляющих.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 08 Январь, 2018 21:50 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
Comdiv писал(а):
Wlad писал(а):
Подобные разговоры были актуальны где-то до 2005 года.
Потом История (для 99% программистов) закончилась.
Rifat писал(а):
А что случилось в 2005 году?
Почему-то сразу приходит на ум посещение Виртом России http://oberon2005.oberoncore.ru/.
Вирт как вестник конца истории :D

:) Да, действительно, интересное и забавное совпадение. Когда написал, руководствовался только субъективными ощущениями.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 02 Ноябрь, 2018 10:08 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
Постусловие как цель - смотрим Дисциплину программирования Дейкстры.
Из постусловия выводятся предусловия. Меняем цель - меняются предусловия.
По-моему, все предельно ясно.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 23 ]  На страницу Пред.  1, 2

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB