Автоматизированные методы спецификации
Название: Автоматизированные методы спецификации
Автор: Деметрович Я. и др.
Издательство: Мир
Страниц: 115
Формат: PDF
Размер: 21 Mб
Качество: Нормальное
Язык: Русский
Год издания: 1989
ISBN: 5-03-000487-4
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем.
В основу положен двухуровневый структурный метод спецификации, позволяющий упоряд очить процесс проектирования сложного программного обеспечения.
Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.
Оглавление:
Предисловие редактора перевода
Предисловие
Введение
Понятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языка
Формальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теории
Принципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровне
Пример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятий
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12752 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Гармонический анализ модуляция и шумы
Название: Гармонический анализ модуляция и шумыАвтор: С. Гольдман Издательство: Иностранной литературыГод издания: 1951 Страниц: 408Формат: DJVUРазмер: 7,5 МБКачество: Хорошее, 600дпи, цветные обложки . . .
-
Журнал Garden Design №3 (март 2009)
Название: Garden Design Издательство: Garden Design Номер: 3 Месяц / Год: 03 / 2009 Страниц: 104 Формат: PDF Размер файла: 39 Мб Язык: английский . . .
-
Журнал Garden Design №1-2 (январь-февраль 2009)
Название: Garden Design Издательство: Garden Design Номер: 1-2 Месяц / Год: 01-02 / 2009 Страниц: 94 Формат: PDF Размер файла: 28.2 Мб Язык: англ . . .
-
Вагоны-самосвалы
Автор:Логинов А.И., Афанаскин Н.ЕНазвание: Вагоны-самосвалыИздательство: МАШИНОСТРОЕНИЕГод: 1975Формат: djvuРазмер: 2.9 МбВ книге описаны конструкции основных типов вагонов-самосвалов, условия и прави . . .
-
Пособие проводнику пассажирских вагонов
Автор:Матвеев В.И., Калымулин Ю.М., Дремин А.ГНазвание: Пособие проводнику пассажирских вагоновИздательство: ТРАНСПОРТГод: 1983Формат: djvu Размер: 4.9 МбОписаны устройство, ремонт и обслуживание сист . . .
-
Технология машиностроения. Кн. 2. Производство деталей машин
Название: Технология машиностроения. Кн. 2. Производство деталей машинАвтор: Мурашкин C. Л.Издательство: Высшая школаГод: 2003Страниц: 295ISBN: 5-06-004368-1Формат: PDFРазмер: 11 MбЯзык: русский Ра . . .
-
The Woodturner's Workbook
Автор: Ray KeyНазвание: The Woodturner's WorkbookИздательство: B.T. Batsford LtdГод: 1992Страниц: 112Формат: djvuЯзык: английскийРазмер: 4.07 MбВ книге подробно, с иллюстрациями рассказывается о техн . . .
-
Simply the Best Jill Oxton's Cross Stitch & Beading - Issue No. 62
Автор: Oxton JillНазвание: Simply the Best Jill Oxton's Cross Stitch & BeadingИздательство: Jill Oxton PublicationsГод: 2005Формат: jpgРазмер: 31,5 mb Язык: английскийАвстралийское издание по вышивке . . .
-
Унесенные ветром. Том 2
Название: Унесенные ветром. Том 2Автор: Маргарет МитчеллГод: 2007Время звучания: 29 ч. 30 мин.Исполнитель: Инна СытникИздательство: БиблиофоникаФормат: mp3, 80 kbpsРазмер: 1044 МбВторой том романа изо . . .
-
Афон. Валаам. Москва (аудиокнига)
Название: Афон. Валаам. Москва (аудиокнига)Автор: Борис ЗайцевИсполнитель: Вячеслав ЗадворныхПродолжительность: 12 часов 40 минут. Издательство: БиблиофоникаФормат: MP3Битрейт: 96 kbpsРазмер: архив - . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Автоматизированные методы спецификации. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.