Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования




Скачать 117.3 Kb.
НазваниеПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Дата07.10.2012
Размер117.3 Kb.
ТипПрограмма дисциплины
Правительство Российской Федерации

Государственное образовательное бюджетное учреждение

высшего профессионального образования


««Государственный университет –

Высшая школа экономики»


Факультет «Бизнес-информатика»

Отделение Программная инженерия


Программа дисциплины

«Спецификация программных систем»


для направления 231000.62 – «Программная инженерия»

подготовки бакалавра


Автор программы

Доцент, к.ф.м.н. А.А.Набебин

anabebin@hse.ru


Рекомендована секцией УМС Одобрена на заседании кафедры по бизнес-информатике Управление разработкой

программного обеспечения Председатель Ю.В.Таратухина Зав. кафедрой С.М.Авдошин

______________________________ _______________________________


«_____» __________________ 2011 г. «____»_____________________ 2011 г.

Утверждена Ученым Советом факультета Бизнес-информатики

Ученый секретарь В.А.Фомичев

______________________________


«_____» __________________ 2011 г.


Москва

2011


I. Пояснительная записка

Автор программы:

доцент, к.ф.м.н. А.А.Набебин

Общие сведения об учебном курсе:

дисциплина читается студентам бакалавриата отделения программной инженерии факультета бизнес-информатики ГУВШЭ. Она является обязательным курсом и читается во втором и третьем модулях четвертого года обучения. Количество кредитов – 5. Продолжительность курса составляет 60 аудиторных учебных часа, в том числе: 30 часов лекционных занятий, 30 часов семинарских занятий и 120 часов самостоятельной работы. Контроль – домашнее задание, контрольная работа и экзамен.


Требования к студентам:

Изучение дисциплины базируется на знаниях, полученных студентами при освоении учебных дисциплин «Дискретная математика», «Информатика, математическая логика и теория алгоритмов», «Программирование».

Цель курса:

Целью преподавания дисциплины «Спецификация программных систем» является изучение следующих глав:

основные понятия спецификации;

формализмы в спецификациях (формальные системы, автоматы);

классификация методов формальной спецификации);

логика в спецификациях (пропозициональная логика, предикатная логика, темпоральная логика);

алгебраическая спецификация, алгебры и спецификации (абстрактные типы данных, структурные спецификации, язык (алгебраической) спецификации OBJ3; сигнатура и равенство, параметризованное программиование).

Аннотация:

В рамках курса студенты изучают актуальные разделы спецификации программных систем: цели и задачи спецификации, формальные системы в спецификациях, алгебраическая спецификация.

Учебные задачи курса:

В результате прохождения учебного курса студенты должны

знать

основные формализмы в спецификациях, формальные системы, способы их задания; автоматы и области их использования; различные логики, их синтаксис и семантика, логические формулы в спецификациях; алгебраические спецификации;

иметь представление

об использовании формальных систем, автоматов, логик, алгебраических спецификаций при разработке программ и программных комплексов;

уметь

описывать формальные системы, пользоваться их теорией для решения прикладных задач спецификации, работать c языком программирования OBJ3 - алгебраическим языком спецификации.


IΙ. Тематический план учебной дисциплины





п/п

Наименование тем

Всего

часов

Аудиторные часы

Самостоя

тельная

работа

Лекции

Практич.

занятия




Второй модуль (30 часов)




1

Основы спецификаций. Формальные системы.

24

4

2

18

2

Автоматы. Акцепторы и трансдъюсеры. Расширенные машины с конечным числом состояний.

32

6

6

20

3

Логики: пропозициональная, предикатная, темпоральная. Формальный вывод

34

6

6

22




Итого второй модуль

90

16

14

60




Третий модуль (30 часов)




4

Алгебры моно- и много-сортные. Гомоморфизмы. Алгебраические спецификации. Логика равенств в спецификациях.

26

4

6

16

5

Абстрактные типы данных. Свойства алгебраических спецификаций. Структурированные спецификации.

30

4

4

22

6

OBJ3 – язык алгебраических спецификаций. Сигнатура и равенство. Параметризованное программирование.

34

6

6

22




Итого третий модуль

90

14

16

60




Всего:

180

30

30

120





ΙΙΙ. Базовые учебники

  1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

  2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

  3. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через электронную библиотеку ГУ ВШЭ).

  4. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.: Научный мир, 2008. 380 с.

  5. Набебин А.А. Сборник заданий по дискретной математике. М.: Научный мир, 2009. 280с.

  6. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

  7. Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер 2008. 304с.

  8. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008. 528 c.





ΙV. Формы контроля

Оценки текущего, промежуточного и итогового контроля складываются из следующихэлементов:текущий контроль: учет посещаемости лекций и оценка качества подготовки и работы насеминарских занятиях (доклады, презентации, оппонирование, критические выступления,выполнение домашних заданий); при непосещении занятий ставится оценка «0»;

промежуточный контроль: оценка домашнего задания и оценка контрольной работы;

контрольная работа оценка выполнения контрольно-измерительных материалов в форме компьютерного тестирования; при пропуске контрольной работы ставится оценка «0»;

контрольное домашнее задание сдается в виде отчета в электронной форме; если домашнее задание не сдано в указанные сроки, ставится оценка «0».

итоговый контроль: зачет в конце третьего модуля в форме компьютерного тестирования, при пропуске зачета ставится оценка «0»;

итоговая оценка за дисциплину есть число К по 10балльной шкале формируется как взвешенная сумма:

K = 0,3 Дз + 0,3 Кр + 0,4 Э,

где Дз, Кр Э – 10-балльные оценки за домашнее задание, контрольную работу и за экзамен соответственно с округлением до целого числа баллов.

Перевод в пятибалльную оценку осуществляется в соответствии со следующей таблицей.

Таблица соответствия оценок по десятибалльной и пятибалльной системам

По десятибалльной шкале

По пятибалльной шкале

1 – неудовлетворительно

2 – очень плохо

3 – плохо

неудовлетворительно – 2

4 – удовлетворительно

5 – весьма удовлетворительно

удовлетворительно – 3

6 – хорошо

7 – очень хорошо

хорошо – 4

8 – почти отлично

9 – отлично

10 – блестяще

отлично – 5




V. Содержание программы


Тема 1. Основы спецификаций. Формальные системы.

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.


Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ)


Тема 2. Автоматы. Акцепторы и трансдъюсеры. Расширенные машины с конечным числом состояний.

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ)


Тема 3. Логики: пропозициональная, предикатная, темпоральная. Формальный вывод

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ).


Тема 4. Алгебры моно- и много-сортные. Гомоморфизмы. Алгебраические спецификации. Логика равенств в спецификациях.

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ).


Тема 5. Абстрактные типы данных. Свойства алгебраических спецификаций.

Структурированные спецификации.

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ).


Тема 6. OBJ3 – язык алгебраических спецификаций. Сигнатура и равенство.

Параметризованное программирование.

Основная литература

1. Alagar V.S., Periyasami K. Specification of software systems. Springer-Verlag, 2011.

2. Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J-P. Introducing OBJ.

3. Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.:

Научный мир, 2008. 380 с.

5. Набебин А.А. Дискретная математика. М.: Научный мир, 2010. 512с.

Дополнительная литература

1. Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции подискретной

математике. / СПб.: БХВПетербург, 2004.

2. Новиков Ф.А. Дискретная математика для программистов – СПб.: Питер 2008. – 304 с.

3. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и

вычислений: Пер. с англ. М.: Издательский дом "Вильямс", 2008.

4. Singh A. Elements of Computation Theory. SpringerVerlag, 2009. – 422 p. (доступна через

электронную библиотеку ГУ ВШЭ).


VI. Тематика заданий по различным формам текущего контроля



Похожие:

Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Правительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования iconПравительство Российской Федерации Государственное образовательное бюджетное учреждение высшего профессионального образования
Государственное образовательное бюджетное учреждение высшего профессионального образования
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница