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

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я
0-9 A B C D I F G H IJ K L M N O P Q R S TU V WX Y Z #


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

скачать Автоматизированные методы спецификации бесплатно Название: Автоматизированные методы спецификации
Автор: Деметрович Я. и др.
Страниц: 115
Формат: PDF
Размер: 21 Mб
Качество: Нормальное
Язык: Русский
Год издания: 1989
ISBN: 5-03-000487-4


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

Оглавление:

Предисловие редактора перевода
Предисловие

Введение

Понятийные модели
Элементарные конструкции
Структура диалога
Логические модели данных
Основные принципы модели понятия
Логическая информационная модель понятий
Модель языка

Формальные модели
Ссылочное исчисление
Фундаментальные операции
Исчисление отношений
Факторизация в отношениях
Ссылочные схемы как теории

Принципы описаний
Основные методы описания
Основные концептуальные модели
Усовершенствованные логические модели
Описания на машинно-ориентированном уровне

Пример спецификации процесса организации конференции
Описание порядка проведения конференции
Логическое проектирование системы
Приложение: определение понятий

   [dfiles] [turbobit] [dfiles]




С этой книгой бесплатно скачивают:



1

 

 

Электронная библиотека Kodges.ru — интересный ресурс для тех, кто не любит тратить много времени на поиск необходимого издания. В каталогах представлено огромное количество книг различной тематики, которые можно скачать совершенно бесплатно в нужном формате. В разделе «Компьютерная литература» можно скачать как книги для профессионалов, так и книги с ответами на популярные вопросы, например, «Автоматизированные методы спецификации». Благодаря удобной навигации библиотеки, каждый читатель моментально найдет необходимое издание.


Поделитесь ссылкой на книгу со своими друзьями:

HTML ссылка:


Ссылка для форумов:


Прямая ссылка:



Имя:*
E-Mail:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent



Навигация по сайту


Читательские рекомендации

Информация