БИблиографический список

1. Leveson N. G., Clark S. T. An Investigation of the Therac-25 Accidents. // IEEE Computer. 26(7):18-41, July 1993.

2. Дейкстра Э. Дисциплина программирования / Дал У., Дейкстра Э., Хоор К. Структурное программирование. М.: Мир. 1975.

3. Кларк Э., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. М.: МЦНМО, 2002. 416 с.

4. Pnueli A. The Temporal Logic of Programs // Proceedings of the 18th IEEE Symposium on Foundation of Computer Science. 1977.

5. Поликарпова Н., Шалыто А. Автоматное программирование. СПб.: Питер, 2009. 176 с.

6. Вельдер С. Э., Шалыто А. А. О верификации автоматных программ на основе метода Model Checking // Информационно-управляющие системы. 2007. № 3, с. 27–38.

7. Васильева К. А., Кузьмин Е. В. Верификация автоматных программ с использованием LTL // Моделирование и анализ информационных систем. Ярославль: ЯрГУ. 2007. Т. 14, № 1, с. 3–14.

8. Abran A., Swebok M. J. Guide to the Software Engineering Body of Knowledge. http://www.swebok.org/

9. Kaner C., Falk J., Nguyen Q. Testing Computer Software. NY: Wiley. 1999.

10. Бурдонов И. Б., Косачев А. С., Кулямин В. В. Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай // Программирование. 2003, № 5.

[1] Васильева К. А., Кузьмин Е. В. Верификация автоматных программ с использованием LTL // Моделирование и анализ информационных систем. Ярославль: ЯрГУ. 2007. Т. 14, № 1, с. 3–14.

[2] Поликарпова Н., Шалыто А. Автоматное программирование. СПб.: Питер, 2009. 176 с.

[3] Шень А. Программирование: теоремы и задачи. М.: МЦНМО, 1995.

Дата добавления: 2015-07-26; просмотров: 186; Нарушение авторских прав

Мы поможем в написании ваших работ!