Автоматизированные методы спецификации
Название: Автоматизированные методы спецификации
Автор: Деметрович Я., Кнут Е., Радо П.
Издательство: Мир
Год: 1989
Страниц: 115
ISBN: 5-03-000487-4
Формат: PDF
Размер: 21 Mб
Язык: русский
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения.
Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.
Оглавление:
Предисловие редактора перевода
Предисловие
Введение
Понятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языка
Формальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теории
Принципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровне
Пример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятий
Скачать с startfiles.org
Скачать с depositfiles.com
Скачать с borncash.org
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12786 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Журнал: Cosmopolitan №6 (июнь 2015 / Россия)
Журнал: Cosmopolitan №6 (июнь 2015 / Россия)Cosmopolitan — международный женский глянцевый журнал №1 в мире, который вдохновляет Вас стать ещё лучше и красивее. Для своих постоянных читательниц журнал . . .
-
Журнал: Кулинария. Коллекция №4 (139) (апрель 2015)
Журнал: Кулинария. Коллекция №4 (139) (апрель 2015)Журнал "Кулинария. Коллекция" - лучшие рецепты к вашему столу! Сборник оригинальных рецептов на каждый день. В каждом номере: салаты, супы, блюда из . . .
-
Журнал: Огонек №19 (май 2015)
Журнал: Огонек №19 (май 2015)Журнал о современной жизни для современного человека, которому интересно жить в XXI веке в нашем изменяющемся обществе. "Огонек" для такого читателя — умный и доверительны . . .
-
Журнал: Вязание модно и просто №9 (май 2015)
Журнал: Вязание модно и просто №9 (май 2015)Журнал по вязанию спицами и крючком. В номере 14 моделей для осеннего сезона: 12 - для вязания на спицах, 2 модели - для вязания крючком.#Хобби@mirzhurnalo . . .
-
Журнал: Жду малыша №6 (июнь 2015)
Журнал: Жду малыша №6 (июнь 2015)Журнал посвящён планированию беременности, здоровью, питанию и психологии будущих мам и первому году жизни ребёнка. Вся информация проверена и одобрена экспертами – ги . . .
-
Журнал: Marie Claire №6 (июнь 2015 / Россия)
Журнал: Marie Claire №6 (июнь 2015 / Россия)Журнал Marie Claire - воплощение живой девушки, которая работает, неплохо зарабатывает, ни перед кем финансово не отчитывается и деньги тратит исключительно . . .
-
Журнал: Готовьте с нами №9 (май-июнь 2015)
Журнал: Готовьте с нами №9 (май-июнь 2015)#кулинария@mirzhurnalov#Готовьтеснами@mirzhurnalov . . .
-
Журнал: Профиль №18 (май 2015)
Журнал: Профиль №18 (май 2015)Профиль – деловое издание. На страницах журнала вы найдёте эксклюзивные репортажи, аналитические прогнозы, рейтинги и обзоры по различным темам (экономика, политика, фина . . .
-
Журнал: Дачный совет №10 (май 2015)
Журнал: Дачный совет №10 (май 2015)«Дачный совет» - верный помощник для садоводов и огородников в самый разгар дачных работ. Издание полностью составлено из писем читателей, которые делятся своим опыт . . .
-
Журнал: Автолегенды СССР №162 (май 2015)
Журнал: Автолегенды СССР №162 (май 2015)В каждом выпуске «Автолегенды СССР» журнал и миниатюрный автомобиль. Удивительно точные копии с оригинала помогут вам открыть для себя увлекательный мир автомоб . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Автоматизированные методы спецификации. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.