|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Boris Sivko 2:452/26.14 08 Apr 2003 16:43:41
To : Vitaly Lugovsky
Subject : Доказательство правильности ПО
--------------------------------------------------------------------------------
Отвечать на письмо на тему "Re: Доказательство правильности ПО" очень
просто. Это уже сделал Vitaly Lugovsky. о вот когда часы пробили ровно 09:21, а
календарь показывал Четверг Апрель 03 2003, настала моя очередь:
>> Ищется любая информация по сабжу. Если кто интересовался данным
>> вопросом на серьёзном уровне, откликнетесь плз.
VL> Hу, во первых, "доказательство правильности" - несколько
VL> некорректный термин. Доказывают соответствие реализации и
VL> спецификации, отсутствие каких либо общих исключительных ситуаций
VL> (e.g., buffer overflow, ...)
Hазывают по-разному. Я привёл наиболее понятный что я хочу сказать по смыслу.
Можно было сказать верификация ПО, написание ПО без ошибок и т.д.. Приведённые
твои примеры не совсем подходят. Hо дело не в терминологии, главное, что меня
поняли.
VL> http://why.lri.fr/ - там и на другие аналогичные проекты ссылки
VL> были, и несколько статей с изложением теории и богатой библиографией.
Ok. Посмотрим.
Благодарю за ссылку.
>> В тематике данной эхи интересует:
>> - алгоритмизация уже существующего ПО для док-ва;
VL> В смысле - написание спецификаций и/или аннотаций?
VL> Это эквипенисуально собственно самим алгоритмам.
Я уже не в первый раз сталкиваюсь с задачей, когда есть прога, а автора нет и
нужно по поставленной задаче и условиям док-ва строить всё с нуля.
Счастливо, Vitaly. Вспоминай обо мне...
... I'll be back...
* Origin: DOS_VID_анья, Из_WIN_и, если что... (2:452/26.14)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Доказательство правильности ПО