OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 18 Июль, 2019 11:47

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




Начать новую тему Ответить на тему  [ Сообщений: 13 ] 
Автор Сообщение
 Заголовок сообщения: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 09:18 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3059
Откуда: Астрахань
На ситфоруме появился перевод статьи Парнаса о положении дел с формальными методами в программировании.
http://citforum.ru/SE/quality/fm_rethinking/


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 09:24 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8169
Откуда: Троицк, Москва
Интересно, надо взглянуть, но сразу скажу, что проблема в общем (т.е. на том уровне общности, на котором отабстрагировывается [эх, вот на латинском гибкость выражения...] разница между созданием решений математических задач и созданием программ) ясна из опыта математики.

Интерес представляют специфические детали, -- ну и то, как в очередной раз открывают америку. Забавно по-своему.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 09:45 

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


Последний раз редактировалось Валерий Лаптев Вторник, 09 Февраль, 2010 10:43, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 10:40 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8169
Откуда: Троицк, Москва
Что ж тут не понять.
Старые плохо работают -- значит, надо найти новые :D


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 10:56 

Зарегистрирован: Вторник, 13 Ноябрь, 2007 20:38
Сообщения: 1056
Статья ни о чём. Всё сводится к тому, что дескать "нужно что-то делать для того, чтобы улучшить качество ПО". Сама по себе эта благородная мысль банальна и потому не представляет никакой ценности.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 11:05 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8169
Откуда: Троицк, Москва
igor писал(а):
эта благородная мысль банальна и потому не представляет никакой ценности.
Ну, почему же. Будировать народ.

Правда, кто-то может сделать вывод, что Дейкстру всё равно читать бессмысленно.
В этом отношении статья даже вредна.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 15:21 

Зарегистрирован: Вторник, 11 Август, 2009 11:44
Сообщения: 516
Откуда: Бердск
Info21 писал(а):
Правда, кто-то может сделать вывод, что Дейкстру всё равно читать бессмысленно.
В этом отношении статья даже вредна
Нормальная статья, мне показалось...
Про "кто-то может сделать вывод" - такому отсутствие статьи не поможет.
Для "такого" и инструкция по использованию спичек - очень вредный документ


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 18:34 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 798
Откуда: Казань
Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 20:37 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8169
Откуда: Троицк, Москва
Rifat писал(а):
Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно?
Тут, как и со строгостью в математике, главное -- меру соблюсти.

По мелочам -- да.
Вот в приладе для русских ключевых слов цикл Дейкстры -- помню, возюкал конъюнкции, постусловие там.

А вот в большой задаче применить -- совсем другое дело.
И чтобы автоматически тесты сгенерить.
Нелегко.

Как описать постусловие: "результат -- алгебраическое выражение, эквивалентное тому, чтобы было подано на вход, но без подобных членов"?
Вроде, математика и должно поддаваться формальным методам. И равенство написать не сложно, -- а толку.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 21:27 

Зарегистрирован: Вторник, 13 Ноябрь, 2007 20:38
Сообщения: 1056
Rifat писал(а):
Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно?
Когда я в учебных целях перепахивал Блэкбокс и делал из него компилятор командной строки, то в основном пользовался именно формальными методами. То есть делал эквивалентные преобразования исходного кода часто (но не всегда) даже не вникая в суть алгоритмов, реализованных в этом коде. Но никакой супертеории у меня не было. Действовал исходя из своей интуиции и здравого смысла. Результат был довольно успешным. По крайней мере, Блэкбокс, которым я сейчас пользуюсь, откомпилирован и скомпонован моим же компилятором.

Тем не менее, полученные мной исходные коды я считаю очень сырыми. Главной целью был не сам компилятор, а изучение исходных кодов Блэкбокс.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 22:13 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8169
Откуда: Троицк, Москва
igor писал(а):
... пользовался именно формальными методами. То есть делал эквивалентные преобразования ...
Кстати, да. Вещь.

Тоже люблю:
http://www.inr.ac.ru/~info21/texts/2005 ... ide13.html
http://www.inr.ac.ru/~info21/texts/2005 ... ide14.html


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Вторник, 09 Февраль, 2010 22:28 

Зарегистрирован: Вторник, 13 Ноябрь, 2007 20:38
Сообщения: 1056
Info21 писал(а):
Тоже люблю: ...
Спасибо! Интересный примерчик.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Статья Парнаса - свежая.
СообщениеДобавлено: Пятница, 26 Февраль, 2010 04:39 

Зарегистрирован: Вторник, 05 Январь, 2010 21:31
Сообщения: 1101
Откуда: Харків, Данилівка
Info21 писал(а):
Что ж тут не понять.
Старые плохо работают -- значит, надо найти новые :D

А зачем искать, ясно какие...- "новые","реляционная алгебра", нашли уже :
www.kx.com
www.jsoftware.com
У меня вертятся в голове еще срезы: A[*,n]*B[m,*] :oops:


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 13 ] 

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


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

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


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

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