ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Boris Sivko                          2:452/26.14    03 Apr 2003  01:58:07
 To : All
 Subject : Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 
   Ищется любая информация по сабжу. Если кто интересовался данным вопросом на
 серьёзном уровне, откликнетесь плз.
 
   Особенно интересна инфа по:
   1) основным методам и теоритическим вопросам в оригинальном структурном
 виде(как единая система);
   2) примеры док-ва на уровне выполненного реального проекта;
 
   В тематике данной эхи интересует:
  - алгоритмизация уже существующего ПО для док-ва;
  - алгоритмы программного док-ва как с участием человека, так и без;
  - приспособление алгоритмов для различных типов задач: циклическая обработка,
 учёт фактора времени, док-во при сопряжении с аппаратным обеспечением, ... .
 
   Ищется не реферат, а всевозможный материал для применения на практике.
 
      Счастливо, All. Вспоминай обо мне...
 ... I'll be back...
  * Origin: Отсутствие информации - тоже информация. (2:452/26.14)
 
 

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