ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Vyacheslav Yanuk                     2:5020/400     03 Apr 2003  14:58:15
 To : Boris Sivko
 Subject : Re: Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 
 "Boris Sivko" <Boris.Sivko@p14.f26.n452.z2.fidonet.org> wrote in message
 news:1049335801@p14.f26.n452.z2.FIDOnet.ftn...
 
 > Здравствуй, All! Помнишь меня?
 >
 >   Ищется любая информация по сабжу. Если кто интересовался данным вопросом
 
 на
 
 > серьёзном уровне, откликнетесь плз.
 >
 >   Особенно интересна инфа по:
 >   1) основным методам и теоритическим вопросам в оригинальном структурном
 > виде(как единая система);
 >   2) примеры док-ва на уровне выполненного реального проекта;
 >
 >   В тематике данной эхи интересует:
 >  - алгоритмизация уже существующего ПО для док-ва;
 >  - алгоритмы программного док-ва как с участием человека, так и без;
 
 Когда-то читал следующие книги:
 "Доказательство правильности программ" (авторов не помню. могу посмотреть
 дома)
 "Теория и практика структурного прграммирования" (авторов не помню. могу
 посмотреть дома)
 Грис "Конструирование по"
 
 Это все страшные раритеты.
 
 Слава
 --- ifmail v.2.15dev5
  * Origin: Unknown (2:5020/400)
 
 

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