Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации

Пер. с англ., М.: Мир, 1989. - 115 с.
Оригинальное название: Computer-Aided Specification Techniques - J. Demetrovics, E.Knuth, P. Rado, 1985В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.Оглавление:Предисловие редактора перевода
ПредисловиеВведениеПонятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языкаФормальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теорииПринципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровнеПример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятийЛитература