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

Автоматизированные методы спецификации

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

Издательство: "Мир" (1989)

Формат: 60x90/16, 120 стр.

ISBN: 5-03-000487-4, 9971-978-53-9

Купить за 221 руб на Озоне

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Автоматизированные методы спецификацииВ книге известных венгерских специалистов описывается комплексный подход к созданию средств… — Мир, (формат: 60x90/16, 120 стр.) Подробнее...1989221бумажная книга

См. также в других словарях:

  • устройство — 2.5 устройство: Элемент или блок элементов, который выполняет одну или более функцию. Источник: ГОСТ Р 52388 2005: Мототранспортны …   Словарь-справочник терминов нормативно-технической документации

  • Модель — 9. Модель Изделие, являющееся трехразмерным упрощенным изображением предмета в установленном масштабе Модель является составной частью макета Источник …   Словарь-справочник терминов нормативно-технической документации

  • система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

  • Технические — 19. Технические указания по технологии производства строительных и монтажных работ при электрификации железных дорог (устройства электроснабжения). М.: Оргтрансстрой, 1966. Источник: ВСН 13 77: Инструкция по монтажу контактных сетей промышленного …   Словарь-справочник терминов нормативно-технической документации

  • документация — 4.11 документация (documentation): Печатные руководства пользователя, диалоговая (оперативная) документация и справочный текст («хелпы»), описывающие как пользоваться программным продуктом. Источник: ГОСТ Р ИСО/МЭК 15910 2002: Инф …   Словарь-справочник терминов нормативно-технической документации

  • ремонт — 3.10 ремонт: Комплекс операций по восстановлению исправности и работоспособности, восстановлению технического ресурса ЭПС или его составных частей. Источник: ГОСТ Р 52278 2004: Электроподвижной состав моно …   Словарь-справочник терминов нормативно-технической документации

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»