ЛИТЕРАТУРА

• Автоматизированные методы спецификации программных систем. Богословская Н.В., Бржезовский А.В., Жаков В.И., Путилов В.А., Фильчаков В.В.- Апатиты, КФ Петр. ГУ, 1996.- 147 с.
• Бортовые устройства спутниковой радионавигации / И.В.Кудрявцев, И.Н.Мищенко, А.И.Волынкин и др. Под ред. В.С.Шебшаевича.-М.:Транспорт, 1988.- 201 с.
• Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ.- М.: Мир, 1981.- 392 с.
• Калянов Г.Н. CASE-структурный системный анализ.- М.: Лори, 1996, 242 с.
• Путилов В.А., Фильчаков В.В., Фридман А.Я.- CASE-технологии вычислительного эксперимента.- КНУ РАН, Апатиты, 1994, т.1, т.2.
• Требования и спецификации в разработке программ: Пер. с англ.- М.: Мир, 1984.- 344 с.
• Hatley D.J., Pirbhai I.A. Strategies for Real-Time System Specification. - N.Y. Dorset House Publishing, 1988.
• RTCA DO-178B. - Software Considerations in Airborne Systems and Equipment Certification, 1992.
• Select Yourdon. User guide.- Select Software Tools Ltd., 1993.
• Yourdon, Edward, and Larry L. Constantine. Structured Design: Fundamentals of a Discpline of Computer program and Systems Design. Englewood Cliffs, N.J.: Prentice-Hall, 1975.