|
Кучеров Д. П.,
|
Специфікація
|
Стислий змістЗміст Вступ Частина І. МОДЕЛІ ЖИТТЄВОГО ЦИКЛУ ДЛЯ РОЗРОБЛЕННЯ ПРОГРАМНИХ СИСТЕМ Частина II. ПРОЕКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. Частина ІІІ. РЕАЛІЗАЦІЯ ОБ’ЄКТНО -ОРІЄНТОВАНИХ ПРОГРАМНИХ СИСТЕМ. Частина IV. ФОРМАЛЬНІ СПЕЦИФІКАЦІЇ І ВЕРИФІКАЦІЯ ПРОГРАМ. МЕТОДИ ПЕРЕВІРКИ І ТЕСТУВАННЯ ПРОГРАМ ТА СИСТЕМ. ДОДАТОК. ПРЕДМЕТНИЙ ПОКАЖЧИК. Список літератури. |
|