После построения законченной модели системы ее необходимо верифицировать (проверить на полноту и согласованность). В полной модели все ее объекты (подсистемы, процессы, потоки данных) должны быть подробно описаны и детализированы. Выявленные недетализированные объекты следует детализировать, вернувшись на предыдущие шаги разработки. В согласованной модели для всех потоков данных и накопителей данных должно выполняться правило сохранения информации: все поступающие куда-либо данные должны быть считаны, а все считываемые данные должны быть записаны.
Вендров А.М. Один из подходов к выбору средств проектирования баз данных и приложений. "СУБД", 1995, №3.
Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. Учебное пособие. М., Центр Информационных Технологий, 1996
Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). М., "Лори", 1996.
Марка Д.А., МакГоуэн К. Методология структурного анализа и проектирования. М., "МетаТехнология", 1993.
Международные стандарты, поддерживающие жизненный цикл программных средств. М., МП "Экономика", 1996
Создание информационной системы предприятия. "Computer Direct", 1996, N2
Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев, "Диалектика", 1993.
Barker R. CASE*Method. Entity-Relationship Modelling. Copyright Oracle Corporation UK Limited, Addison-Wesley Publishing Co., 1990.
Barker R. CASE*Method. Function and Process Modelling. Copyright Oracle Corporation UK Limited, Addison-Wesley Publishing Co., 1990.
Boehm B.W. A Spiral Model of Software Development and Enhancement. ACM SIGSOFT Software Engineering Notes, Aug. 1986
Chris Gane, Trish Sarson. Structured System Analysis. Prentice-Hall, 1979.
Edward Yourdon. Modern Structured Analysis. Prentice-Hall, 1989.
Tom DeMarco. Structured Analysis and System Specification. Yourdon Press, New York, 1978.
Westmount I-CASE User Manual. Westmount Technology B.V., Netherlands, 1994.
Uniface V6.1 Designers' Guide. Uniface B.V., Netherlands, 1994.
IEEE Std 1348-1995. IEEE Recommended Practice for the Adoption of CASE Tools.
IEEE Std 1209-1992. IEEE Recommended Practice for the Evaluation and Selection of CASE Tools.
PVCS Version Manager. User's Guide.