Технология программирования. Лекции

формат doc
размер 1.22 МБ
добавлен 16 марта 2010 г.

Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования.
Источники ошибок в программных средствах.
Общие принципы разработки программных средств.
Внешнее описание программного средства.
Методы спецификации семантики функций.
Архитектура программного средства.
Разработка структуры программы и модульное программирование.
Разработка программного модуля.
Доказательство свойств программ.
Тестирование и отладка программного средства.
Обеспечение функциональности и надежности пс.
Обеспечение качества программного средства.
Документирование программных средств.
Управление разработкой и аттестация программного средства.
Оъектный подход к разработке программных средств.
Компьютерная поддержка разработки и сопровождения программных средств.
литература к лекцииям.
Приложение.
Вопросы к письменному экзамену.
Приложение.
Основные вопросы к письменному экзамену.
Приложение.
Задания на самостоятельную работу (1-й семестр).

Похожие разделы

Смотрите также

Жоголев Е.А. Технология программирования

формат pdf
размер 1.72 МБ
добавлен 31 октября 2009 г.

Жоголев Е. А. Технология программирования. - М. научный мир, 2004, с.216 В основу книги положен курс лекций по технологии проектирования, читавшихся автором в течение ряда лет студентам фак-та Вычислительной матемитики и кибернетики МГУ. В ней обсуждается совокупность процессов, приводящая к созданию требуемого программного продукта (ПС). Рассматриваются наиболее распространненые приемы и методы, исользуемые в таких процессах, а также возникающи...

Камаев В.А. Технологии программирования: Учебник

формат djvu
размер 3.69 МБ
добавлен 28 сентября 2010 г.

В. А. Камаев, В. В. Костерин. — 2-е изд., перераб. и доп. — М.: Высш. шк. , 2006. - 454 с: ил. © ФГУП «Издательство «Высшая школа», 2006 В книге изложены технологии структурного программирования, объектно-ориентированного проектирования, визуального программирования, технология, основанная на абстракции данных Дейкстеры. Рассмотрено использование средств автоматизации проведения программных разработок. Второе издание (1-е — 2005 г. ) дополнено...

Кручинин В.В. Алгоритмические языки и технология программирования

формат pdf
размер 2.03 МБ
добавлен 03 мая 2010 г.

Учебное пособие Томского межвузовского центра дистанционного образования, ТУСУР (Томский университет систем управления и радиоэлектроники). Томск, 2001. 126 стр. Содержание: Основы алгоритмизации Язык программирования С (лексемы, синтаксические структуры, выражения, операторы, указатели, программы и подпрограммы и др. ) Механизм реализации языков программирования Технология создания исполняемой программы

Методичка по лабораторной работе №2

формат doc
размер 21.06 КБ
добавлен 27 мая 2005 г.

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

Методичка по лабораторной работе №3

формат doc
размер 10.55 КБ
добавлен 28 мая 2005 г.

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

Мукасеева В.Н., Стоянов В.В. Методичка по лабораторным работам

формат doc
размер 30.38 КБ
добавлен 17 июля 2008 г.

Объектно-ориентированное программирование: Лабораторный практикум по дисциплине Технология программирования. /Уфимск. гос. авиац. техн. ун-т; Сост.: В. Н. Мукасеева, В. В. Стоянов. - Уфа, 2007 - 29 с. Содержатся сведения, касающиеся разработке классов на языке С++. Цикл лабораторных работ посвящен технологии объектно-ориентированного программирования на языке C++ в интегрированной среде разработки фирмы Microsoft Visual Studio v.6 – v .8. Изло...

Новиков Ф.А. Учебно-методическое пособие по дисциплине Технологические подходы к разработке программного обеспечения

формат pdf
размер 1.64 МБ
добавлен 25 июля 2011 г.

СПб.: СПбГУ ИТМО, 2007. - 137 с. В первой теме рассматривается сам предмет дисциплины – технология программирования – с самых общих позиций. Здесь же вводится разделение технологии программирования на три составляющих, в соответствии с которой строится изложение курса. Во второй теме вводится понятие жизненного цикла программы – ключевой абстракции, вокруг которой строятся все известные в настоящее время технологические подходы к программировани...

Сборник уроков 1-го курса Компьютерной Академии ШАГ

формат zip
размер 79.75 МБ
добавлен 31 октября 2009 г.

Язык программирования C# Язык программирования C/C++ Язык программирования Visual C++ Язык программирования Visual Basic Язык вэб-программирования Java Script Язык разметки XML Язык разметки XHTML, CSS Основы вэб-дизайна Векторный графический редактор Corel Draw Растровый графический редактор Photoshop Adobe Flash 3D Studio Max IP Локальные сети SQL Server Hardware Linux Windows XP Professionalrn

Технология программирования

формат doc
размер 1.21 МБ
добавлен 18 января 2009 г.

Содержание. Введение. Технология программирования. Основные понятия и подходы. Технология программирования и основные этапы ее развития. Жизненный цикл и этапы разработки программного обеспечения. Постановка и алгоритмизация задач. Понятие алгоритма. Способы описания алгоритмов. Структурные схемы алгоритмов. Основы языка. Алфавит языка. Структура программы. Основные функции среды турбо паскаль. Функциональные клавиши. Текстовый редактор среды. Сч...

Чернев Д.А. Лекции по дисциплине Технология программирования

формат chm
размер 4.39 МБ
добавлен 05 ноября 2011 г.

Конспект лекций по дисциплине "Технология программирования". В дисциплине «Технология программирования»: - рассматриваются и подробно анализируются этапы разработки программного обеспечения, начиная от этапа его предварительного проектирования и оканчивая сдачей готового испытанного программного продукта заказчику с последующим его сопровождением; - с позиции современной системотехники рассматриваются проблемы проектирования сложных программн...