Что ж тут не понять.
Старые плохо работают -- значит, надо найти новые
| OberonCore https://forum.oberoncore.ru/ |
|
| Статья Парнаса - свежая. https://forum.oberoncore.ru/viewtopic.php?f=27&t=2329 |
Страница 1 из 1 |
| Автор: | Валерий Лаптев [ Вторник, 09 Февраль, 2010 09:18 ] |
| Заголовок сообщения: | Статья Парнаса - свежая. |
На ситфоруме появился перевод статьи Парнаса о положении дел с формальными методами в программировании. http://citforum.ru/SE/quality/fm_rethinking/ |
|
| Автор: | Info21 [ Вторник, 09 Февраль, 2010 09:24 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Интересно, надо взглянуть, но сразу скажу, что проблема в общем (т.е. на том уровне общности, на котором отабстрагировывается [эх, вот на латинском гибкость выражения...] разница между созданием решений математических задач и созданием программ) ясна из опыта математики. Интерес представляют специфические детали, -- ну и то, как в очередной раз открывают америку. Забавно по-своему. |
|
| Автор: | Валерий Лаптев [ Вторник, 09 Февраль, 2010 09:45 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Парнас предлагает найти другие математические приемы для применения в программировании, отличные от Флойда-Дейкстры. Конкретики в статье никакой нет. Только упоминание о возможности применения реляционной алгебры. |
|
| Автор: | Info21 [ Вторник, 09 Февраль, 2010 10:40 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Что ж тут не понять. Старые плохо работают -- значит, надо найти новые
|
|
| Автор: | igor [ Вторник, 09 Февраль, 2010 10:56 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Статья ни о чём. Всё сводится к тому, что дескать "нужно что-то делать для того, чтобы улучшить качество ПО". Сама по себе эта благородная мысль банальна и потому не представляет никакой ценности. |
|
| Автор: | Info21 [ Вторник, 09 Февраль, 2010 11:05 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
igor писал(а): эта благородная мысль банальна и потому не представляет никакой ценности. Ну, почему же. Будировать народ.Правда, кто-то может сделать вывод, что Дейкстру всё равно читать бессмысленно. В этом отношении статья даже вредна. |
|
| Автор: | Galkov [ Вторник, 09 Февраль, 2010 15:21 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Info21 писал(а): Правда, кто-то может сделать вывод, что Дейкстру всё равно читать бессмысленно. Нормальная статья, мне показалось...В этом отношении статья даже вредна Про "кто-то может сделать вывод" - такому отсутствие статьи не поможет. Для "такого" и инструкция по использованию спичек - очень вредный документ |
|
| Автор: | Rifat [ Вторник, 09 Февраль, 2010 18:34 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно? |
|
| Автор: | Info21 [ Вторник, 09 Февраль, 2010 20:37 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Rifat писал(а): Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно? Тут, как и со строгостью в математике, главное -- меру соблюсти.По мелочам -- да. Вот в приладе для русских ключевых слов цикл Дейкстры -- помню, возюкал конъюнкции, постусловие там. А вот в большой задаче применить -- совсем другое дело. И чтобы автоматически тесты сгенерить. Нелегко. Как описать постусловие: "результат -- алгебраическое выражение, эквивалентное тому, чтобы было подано на вход, но без подобных членов"? Вроде, математика и должно поддаваться формальным методам. И равенство написать не сложно, -- а толку. |
|
| Автор: | igor [ Вторник, 09 Февраль, 2010 21:27 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Rifat писал(а): Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно? Когда я в учебных целях перепахивал Блэкбокс и делал из него компилятор командной строки, то в основном пользовался именно формальными методами. То есть делал эквивалентные преобразования исходного кода часто (но не всегда) даже не вникая в суть алгоритмов, реализованных в этом коде. Но никакой супертеории у меня не было. Действовал исходя из своей интуиции и здравого смысла. Результат был довольно успешным. По крайней мере, Блэкбокс, которым я сейчас пользуюсь, откомпилирован и скомпонован моим же компилятором.Тем не менее, полученные мной исходные коды я считаю очень сырыми. Главной целью был не сам компилятор, а изучение исходных кодов Блэкбокс. |
|
| Автор: | Info21 [ Вторник, 09 Февраль, 2010 22:13 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
igor писал(а): ... пользовался именно формальными методами. То есть делал эквивалентные преобразования ... Кстати, да. Вещь.Тоже люблю: http://www.inr.ac.ru/~info21/texts/2005 ... ide13.html http://www.inr.ac.ru/~info21/texts/2005 ... ide14.html |
|
| Автор: | igor [ Вторник, 09 Февраль, 2010 22:28 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Info21 писал(а): Тоже люблю: ... Спасибо! Интересный примерчик.
|
|
| Автор: | Рыжий [ Пятница, 26 Февраль, 2010 04:39 ] |
| Заголовок сообщения: | Re: Статья Парнаса - свежая. |
Info21 писал(а): Что ж тут не понять. Старые плохо работают -- значит, надо найти новые А зачем искать, ясно какие...- "новые","реляционная алгебра", нашли уже : www.kx.com www.jsoftware.com У меня вертятся в голове еще срезы: A[*,n]*B[m,*] 
|
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|