Автоматизированные методы спецификации
Название: Автоматизированные методы спецификации
Автор: Деметрович Я., Кнут Е., Радо П.
Издательство: Мир
Год: 1989
Страниц: 115
ISBN: 5-03-000487-4
Формат: PDF
Размер: 21 Mб
Язык: русский
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения.
Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.
Оглавление:
Предисловие редактора перевода
Предисловие
Введение
Понятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языка
Формальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теории
Принципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровне
Пример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятий
Скачать с startfiles.org
Скачать с depositfiles.com
Скачать с borncash.org
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12775 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
ALPHA - Все для Интернет-бизнеса. Обучающий видекурс (2013) mp4 3256,32Мб
Название: ALPHA - Все для Интернет-бизнесаГод выхода: 2013Жанр: Обучающий, Интернет-бизнесВашему вниманию представлн видеокурс Тима Ворона, который будет полезен, как для новичков в интернет предприни . . .
-
Быстрая кулинария. Виктория Яковлева pdf 33,6Мб
Название: Быстрая кулинарияАвтор: Виктория ЯковлеваИздательство: БАОГод: 2013Серия: Быстро, недорого, вкусноISBN: 978-617-08-0044-2Страниц: 52Качество: отличноеФормат: pdfРазмер: 33,6 МбСовременная ку . . .
-
Исторический роман (Эксмо) 102 тома fb2 164,23Мб
Название: Исторический роман (Эксмо) 102 томаГод выпуска: 2004-2013Издательство: Эксмо, ДоминоСерия: Исторический романАвтор: РазныеЯзык: русскийСтраниц: МногоКачество: ХорошееФормат: FB2Размер: 164,2 . . .
-
Андрей Круз – Нижний уровень (Аудиокнига)
Заурядное выяснение наличности слежки за клиентом, обращается смертоубийством младшего сына и законной супруги заказчика, а при дальнейшем выяснении картины происшествия выясняется что это не единств . . .
-
М. Литвак - Командовать или подчиняться (Аудиокнига) 372,73Мб
Название: Командовать или подчинятьсяАвтор: М. ЛитвакИздательство: ЭлитайлЭту книгу озвучил: Алексей БорзуновГод выпуска: 2006Жанр: ПсихологияАудио кодек: mp3Битрейт аудио: 128 kbpsПродолжительность: . . .
-
Сборник зарубежной фантастики - Анаконда (Аудиокнига) mp3 556Мб
Название: Сборник зарубежной фантастики - Анаконда (Аудиокнига)Автор книги: Саймак К., Клейн Ж.и др.Издательство: Аудиокнига своими рукамиГод выпуска: 2007 Жанр: фантастикаОзвучивает: Валентина Дуб Ау . . .
-
Настоящая итальянская пицца своими руками (2013) mpg 290,55Мб
Название: Настоящая итальянская пицца своими рукамиГод выхода: 2013Жанр: ВидеознаниеВо всем мире пицца - визитная карточка и съедобный символ Италии. Так вот сегодня в Неаполе стартует Фестиваль пиццы . . .
-
Камчатка. Жизнь на вулкане (2013) SATRip avi 520,95Мб
Название: КамчаткаОригинальное название: Жизнь на вулканеГод выхода: 2013Жанр: ДокументальныйРежиссер: Россия 1Извержение вулкана Плоский Толбачик на Камчатке – настоящий подарок для ученых. Началось . . .
-
Китай - Япония: столетняя война (2013) SATRip avi 455Мб
Информация о фильме:Название: Китай - Япония: столетняя война Год выпуска: 2013Жанр: документальныйРежиссер: Екатерина Гальперина Не движется ли Дальний восток в новой войне? Китай без колебаний о . . .
-
Продукты для мозга (2013) mpg 471,62Мб
Название: Продукты для мозгаГод выхода: 2013Жанр: ВидеознаниеКакие продукты наполняют мозг невиданной работоспособностью и стрессоустойчивостью?Продолжительность: около 19 минЯзык: РусскийКачество: Хо . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Автоматизированные методы спецификации. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.