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

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

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

Издательство: "Мир" (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: Электроподвижной состав моно …   Словарь-справочник терминов нормативно-технической документации

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

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