Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /

[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могу...

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Деметрович, Янош
Այլ հեղինակներ: Кнут, Элод, Радо, Петер, Шабанов, Л.В (Թարգմանիչ, пер.), Дадаев, Ю.Г (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
English
Հրապարակվել է: Москва : Мир, 1989.
Խորագրեր:
Вычислительные системы - Программы - Спецификация
Автоматизированные методы спецификации
Двухуровневый структурный метод
Концептуальный уровень
Программное обеспечение
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Ամփոփում:[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ].
Ֆիզիկական նկարագրություն:115 с. ; 22 см.
Մատենագիտություն:Библиогр.: с. 112-115 (76 назв.)
ISBN:5030004874

Նմանատիպ նյութեր