Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 3.32 МБ
  • добавлен 17 августа 2011 г.
Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов
Лаврищева Е.М., Грищенко В.Н.
Сборочное программирование. Основы индустрии программных продуктов:
2-изд. Дополненное и переработанное.–Киев: Наук. думка, 2009.–372с.–
ISВN 978-966-00-0848-1.

В монографии систематизированы существующие подходы и методы сборки сложных программ из более простых программных ресурсов (модулей, компонентов, компонентов повторного использования – КПИ и программ). Приведено теоретическое обобщение и обоснование метода сборочного программирования программных систем из программных ресурсов. Определены основные операции над ними. Разработаны формальные основы компонентного программирования: модели компонентов, интерфейсов, среды, а также внешней и внутренней алгебры. Дана классификация программных ресурсов и подходов к
применению информационных ресурсов. Рассмотрены технологические аспекты метода сборки модулей, КПИ и других готовых ресурсов, а также предложена новая концепция инженерии сборки технологий для реализации программных приложений СОД на их основе. Приведено общее описание средств автоматизации метода сборки программных ресурсов, определены фундаментальные основы (теоретические, инженерные, экономические, управленческие) индустрии программных продуктов различного назначения.
Для специалистов, занимающихся автоматизированным созданием программных систем из готовых ресурсов в разных предметных областях с использованием современных инструментально-технологических средств и сред, а также студентов и аспирантов вузов специальностей – прикладная математика и программная инженерия.
Читать онлайн
Похожие разделы
Смотрите также

Айзенекер У., Чарнецки К. Порождающее программирование: методы, инструменты, применение

  • формат djvu
  • размер 47.92 МБ
  • добавлен 03 декабря 2009 г.
Год издания: 2005. Серия: Для профессионалов. Издательство: Питер. Язык: русский. Кол-во страниц: 876. Порождающее программирование (Generative Programming, GP) открывает перед разработчиками приложений глобальные перспективы. Оно реализует идею перехода от одноразовых программных систем к полуавтоматическому производству самых разнообразных продуктов. Самое ценное качество методики порождающего программирования состоит в том, что она учитывает...

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем

  • формат pdf
  • размер 8.1 МБ
  • добавлен 11 августа 2011 г.
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Лаврищева Е.М. Методы программирования. Теория, инженерия, практика

  • формат pdf
  • размер 4.02 МБ
  • добавлен 17 августа 2011 г.
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. - Киев: Наукова думка, 2006. - 452с. ISBN 978-966-00-0614-4 В монографии систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования, а также планирования и управления прог...

Липаев В.В. Документирование сложных программных средств

  • формат doc
  • размер 416.57 КБ
  • добавлен 16 декабря 2008 г.
Документация в жизненном цикле сложных программных средств. Стандартизация документирования процессов и продуктов сложных программных средств. Структура и содержание – Шаблоны документов сложных программных средств

Липаев В.В. Программная инженерия

  • формат pdf
  • размер 9.33 МБ
  • добавлен 28 августа 2008 г.
Методологические основы. (Лекции). Москва 2006 г. Курс лекций предназначен для представления студентам, аспирантам и менеджерам проектов современного комплекса задач, методов и стандартов программной инженерии - создания и развития сложных, многоверсионных, тиражируемых программных средств и баз данных требуемого высокого качества. Содержание: Предисловие. Программная инженерия в жизненном цикле программных средств. Профили стандартоы жизненного...

Липаев В.В. Сертификация программных средств. Учебник

  • формат pdf
  • размер 6.96 МБ
  • добавлен 27 сентября 2011 г.
Липаев В.В. Сертификация программных средств. Учебник. - М.: СИНТЕГ, 2010. - 344с. ISBN 978-5-89638-114-3 В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продук...

Орлов С. Технологии разработки программного обеспечения

  • формат doc
  • размер 2.39 МБ
  • добавлен 14 июня 2008 г.
Учебник посвящен систематическому изложению принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в больших программных проектах. В основу материала положен двен...

Орлов С.А. Технология разработки программного обеспечения

  • формат doc
  • размер 1.84 МБ
  • добавлен 17 мая 2009 г.
Учебник посвящен систематическому изложению принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в больших программных проектах. В основу материала положен двен...

Рудаков А.В. Технология разработки программных продуктов. Учебное пособие

  • формат pdf
  • размер 12.81 МБ
  • добавлен 03 июня 2010 г.
Рудаков А. В. Технология разработки программных продуктов. Учебное пособие Издательство: Академия, 2-е издание Год: 2006 Страниц: 208 Рассмотрены история возникновения, современное состояние, принципы организации, основные положения и перспективы развития технологии разработки программных продуктов. Для студентов образовательных учреждений среднего профессионального образования.

Силаенков А.Н. Лекции по технологии программирования

  • формат doc
  • размер 3.88 МБ
  • добавлен 24 мая 2009 г.
Введение в технологию программирования. Характеристики программного обеспечения. Жизненный цикл программного обеспечения. Этапы решения задач на ЭВМ. Этапы разработки программы. Структурное программирование. Пошаговая детализация - основной метод построения текста программного модуля. Объектно-ориентированное программирование. Программирование ветвлений и циклов. Объектно - ориентированное программирование. Программирование обработки таблиц. Объе...