Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Ильин В. Д. - Система порождения программ

Компьютерные >> Программирование





Разместил: ra0lhs

29-03-2013, 17:17

Просмотров: 295





Ильин В. Д. - Система порождения программ


Монография посвящена проблеме автоматизированного конструирования программных систем с заданными характеристиками. Изложены теоретические основы данного метода, названного И-порождением целевых программных систем. Приведено описание применения метода для конструирования пакетов программ на примере системы ГЕНПАК, воплощающей методологию И-порождения.

Название: Система порождения программ
Автор: Ильин В. Д.
Издательство: Наука
Год издания: 1989
Формат: pdf
Размер: 16.64 Мб
Страниц: 264










Похожие публикации

Методы проектирования программных систем Методы проектирования программных систем
Методы проектирования программных систем - В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и

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

Основы художественного конструирования женской одежды Основы художественного конструирования женской одежды
Книга посвящена художественному конструированию одежды. В ней отражается взаимосвязь прикладного искусства и техники моделирования женской одежды.

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

Миры Роджера Желязны. Том 2. Творец снов. Порождения Света и Тьмы. Долина Проклятий Миры Роджера Желязны. Том 2. Творец снов. Порождения Света и Тьмы. Долина Проклятий
В книге собраны три романа Роджера Желязны, созданные примерно в один период Это «Творец снов», «Порождения Света и Тьмы», «Долина Проклятий». Последнее, одно из самых знаменитых, не раз экранизированных произведений, впервые в настоящем сборнике

Программирование приложений Windows. API графического интерфейса пользователя Программирование приложений Windows. API графического интерфейса пользователя
Изложены методические основы специальных средств программирования графического интерфейса пользователя операционной системы Windows, в том числе динамического программирования и управления базовыми элементами программных систем: окнами, элементами

Новоженов Ю.В., Даниличева Е.В. - Программные системы автоматизации складов Новоженов Ю.В., Даниличева Е.В. - Программные системы автоматизации складов
Книга посвящена автоматизации складских процессов на основе внедрения компьютерных технологий и программных систем. В ней рассматриваются общие проблемы разработки программных систем автоматизации складов и конкретные системы учета товаров (CoreIMS)

Многосеточные методы конечных элементов Многосеточные методы конечных элементов
Посвящена изложению метода конечных элементов и алгоритмов алгебраических систем высокого порядка, возникающих при его применении к краевым задачам математической физики. Традиционные теоретические основы метода изложены кратко, подробнее

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

Model Checking. Верификация параллельных и распределенных программных систем Model Checking. Верификация параллельных и распределенных программных систем
Автор: Ю. Г. Карпов Название: Model Checking. Верификация параллельных и распределенных программных систем Издательство: БХВ-Петербург Год: 2010 Страниц: 552 ISBN: 978-5-9775-0404-1 Формат: djvu Размер: 12,2 Мб Язык: русский Качество: хорошее В




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш 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

Книги




Союз образовательных сайтов