Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /
Деметрович, Янош
Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. / Я. Деметрович, Э. Кнут, П. Радо ; Пер. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева. - Москва : Мир, 1989. - 115 с. ; 22 см.
Библиогр.: с. 112-115 (76 назв.)
[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ].
5-03-000487-4
Вычислительные системы - Программы - Спецификация
Автоматизированные методы спецификации Двухуровневый структурный метод Концептуальный уровень Программное обеспечение
Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. / Я. Деметрович, Э. Кнут, П. Радо ; Пер. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева. - Москва : Мир, 1989. - 115 с. ; 22 см.
Библиогр.: с. 112-115 (76 назв.)
[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ].
5-03-000487-4
Вычислительные системы - Программы - Спецификация
Автоматизированные методы спецификации Двухуровневый структурный метод Концептуальный уровень Программное обеспечение