ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Vitaly Lugovsky                      2:5080/1003    03 Apr 2003  09:21:04
 To : Boris Sivko
 Subject : Re: Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 Boris Sivko <Boris.Sivko@p14.f26.n452.z2.fidonet.org> wrote:
 
 >  Ищется любая информация по сабжу. Если кто интересовался данным вопросом на
 > серьёзном уровне, откликнетесь плз.
 
  Hу, во первых, "доказательство правильности" - несколько некорректный
 термин. Доказывают соответствие реализации и спецификации, отсутствие
 каких либо общих исключительных ситуаций (e.g., buffer overflow, ...)
 
 >  Особенно интересна инфа по:
 >  1) основным методам и теоритическим вопросам в оригинальном структурном
 > виде(как единая система);
 >  2) примеры док-ва на уровне выполненного реального проекта;
 
  http://why.lri.fr/ - там и на другие аналогичные проекты ссылки были,
 и несколько статей с изложением теории и богатой библиографией.
 
  В общем, лучшее место, откуда начинать плясать.
 
 >  В тематике данной эхи интересует:
 > - алгоритмизация уже существующего ПО для док-ва;
 
  В смысле - написание спецификаций и/или аннотаций?
 Это эквипенисуально собственно самим алгоритмам.
 
 > - алгоритмы программного док-ва как с участием человека, так и без;
 
  См. на Why.
 
 --- ifmail v.2.15dev5
  * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Re: Доказательство правильности ПО   Vitaly Lugovsky   03 Apr 2003 09:21:04   Доказательство правильности ПО   Boris Sivko   08 Apr 2003 16:43:41