Автоматизированные методы спецификации
Название: Автоматизированные методы спецификации
Автор: Деметрович Я. и др.
Издательство: Мир
Страниц: 115
Формат: PDF
Размер: 21 Mб
Качество: Нормальное
Язык: Русский
Год издания: 1989
ISBN: 5-03-000487-4
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем.
В основу положен двухуровневый структурный метод спецификации, позволяющий упоряд очить процесс проектирования сложного программного обеспечения.
Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.
Оглавление:
Предисловие редактора перевода
Предисловие
Введение
Понятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языка
Формальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теории
Принципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровне
Пример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятий
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12762 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Обреченный век. Цикл из 8 книг
Автор: Валерий Иванович Елманов Название: Обреченный век. Цикл из 8 книгИздательство: КрыловГод издания: 2008 - 2008Формат: FB2, RTFРазмер: 12 МбДля сайта: MirKnig.com Когда Константину Орешкину, пр . . .
-
Чистилище. Цикл из 4-х книг
Название: Чистилище. Цикл из 4-х книгАвтор: Золотько Александр, Тармашев Сергей, Пронин Игорь, Александр ТокуновИздательство: АСТГод: 2013 - 2015Формат: fb2Размер: 2,67 МбКачество: ХорошееЯзык: Русски . . .
-
Чистилище. Дар учителей
Название: Чистилище. Дар учителей Автор: Александр ТокуновИздательство: АСТГод: 2015Формат: fb2Размер: 1,15 МбКачество: ХорошееЯзык: РусскийГрандиозный межавторский проект, действие которого происходи . . .
-
Classic Articles From Model Railroader
Автор: Mike SchaferНазвание: Classic Articles From Model RailroaderИздательство: Kalmbach BooksГод: 1980Формат: PDF Страниц: 84Язык: EnglishРазмер: 20 MBModel railroading has been fun for the readers . . .
-
Designing for Performance: Weighing Aesthetics and Speed
Название : Designing for Performance: Weighing Aesthetics and SpeedАвтор : Lara Callender HoganИздательство: O'Reilly MediaГод издания : 2014Страниц: 184Формат : pdfРазмер файла: 5,1 MBЯзык : Engl . . .
-
Акоп Крымепи - армянский космограф Х1У-ХУ веков
Автор: Д. А. ЭйнатянНазвание: Акоп Крымепи - армянский космограф Х1У-ХУ вековИздательство: НаукаГод: 1991Страниц: 103Формат: DJVUРазмер: 5,5 МБКачество: Отличное, 600дпи, текстовой слой, цветные обло . . .
-
Дмитрий Донской
Название: Дмитрий ДонскойСерия: Государи Руси ВеликойАвтор: Бородин С.П.Издательство: — М.: СовременникГод: 1994Формат: djvu и pdf clearscan(ocr)Качество: хорошееРазмер файла: 9.26 и 49.48 МбЯзык: рус . . .
-
Сила трех (Аудиокнига)
Автор: Джонс ДианаНазвание: Сила трехИсполнитель: Винокурова НадеждаЖанр: ФэнтезиИздательство: Нигде не купишьГод издания: 2014Качество: mp3, 96 kbpsДлительность: 9:16:09Размер: 383 МбПоклонники талан . . .
-
Алексей Евграфович Фаворский
Автор: Фаворская Т. А.Название: Алексей Евграфович Фаворский (1860—1945)Издательство: НаукаГод: 1980Страниц: 256Формат: DJVUРазмер: 5,9 МБКачество: Отличное, 600дпи, текстовой слой, цветные обложки и . . .
-
Волки севера
Автор: Дуглас Орджил, Джон ГриббинНазвание: Волки севераИздательство: МелорГод: 1996ISBN: 5-87005-026-ХЯзык: РусскийСтраниц: 384 Формат: FB2 Формат: 2.2 мбАннотацияПолет становится путешествием без во . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Автоматизированные методы спецификации. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.