ВходРегистрация
Например: Университетский научный журнал
О консорциуме Подписка Контакты
(812) 409 53 64 Некоммерческое партнерство
Санкт-Петербургский
университетский
консорциум

Статьи

Университетский научный журнал №34 (филологические и исторические науки, археология и искусствоведение), 2017

О ПОНЯТИИ «СЕРТИФИЦИРОВАННОЕ ПРОГРАММИРОВАНИЕ»

В. П. Корявцев, И. А. Кудрявцева
Цена: 50 руб.
 Авторами сформулированы определения понятий «сертифицированная програм-
ма» и «сертифицированное программирование». В соответствии с данными опре-
делениями построена архитектура сертифицированной программы с позиции
обучения сертифицированному программированию с помощью системы Coq и
приведен пример сертифицированной программы с указанной архитектурой. При-
ведены содержание обучения, типы задач по сертифицированному программиро-
ванию, а также примеры инструментов построения и верификации сертифициро-
ванных программ.
Ключевые слова: валидная программа, спецификация программы, верифика-
ция программы, сертифицированная программа, доказательное программирова-
ние, сертифицированное программирование.
Список литературы
1. Агафонов В. Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1987. 240 с.
2. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристика качества и руководства по их применению. 1994; 2004 // Электронный фонд правовой и нормативно-технической документации. URL: http://docs.cntd.ru/document/1200009076 (дата обращения: 02.10.2017).
3. ГОСТ Р ИСО 9000-2008. Национальный стандарт Российской Федерации системы менеджмента качества. Основные положения и словарь. 2009 // Электронный фонд правовой и нормативно-технической документации. URL: http://docs.cntd.ru/document/1200068733 (дата обращения: 02.10.2017).
4. ГОСТ ISO 9000-2011. Межгосударственный стандарт системы менеджмента качества. Основные положения и словарь. 2013 // Электронный фонд правовой и нормативно-технической документации. URL: http://docs.cntd.ru/document/ 1200093424 (дата обращения: 02.10.2017).
5. Доказательное программирование // Учебно-методический комплекс «Электронный учебник». URL: http://main.tpkelbook.com/pre020.php?lc=0&pc=2&spn=Доказательное%20программирование&sid=19&qsid=19&apl=5&lst=0&stid=&grupID= (дата обращения: 18.10.2017).
6. Кауфман В. Ш. Языки программирования. Концепции и принципы. М.: Радио и связь, 1993. 432 с.
7. Крупский В. Н., Кузнецов С. Л. Практикум по математической логике. Coq // МГУ им. М. В. Ломоносова, 2013. 79 с. URL: http://lpcs.math.msu.su/~krupski/download/coq_pract.pdf (дата обращения:
18.10.2017).
8. Непейвода Н. Н. Прикладная логика. Ижевск: Изд-во Удмуртского ун-та, 1997. 385 с.; Новосибирск: Изд-во Новосибирского ун-та, 2000. 521 с.
9. Про тестинг.RU // Home Comics Posts Publications Talks Misc About RSS. URL: http://protesting.ru (дата обращения: 02.10.2017).
10. Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода / Рук.: А. А. Шалыто, исп. А. С. Красс. // Отчет о патентных исследованиях, № 2007.08.31-01 от 31.08.2007. 38 с. URL: http://is.ifmo.ru/verification/ _2007_01_patent-verification.pdf (дата обращения: 02.10.2017).
11. Федеральный закон РФ. О техническом регулировании (с изменениями на 29 июля 2017 года) // Электронный фонд правовой и нормативно-технической документации. URL: http://docs.cntd.ru/document/901836556 (дата обращения: 02.10.2017).
12. Chlipala A. Certified Programming with Dependent Types.: MIT Press, 2017.
Цена: 50 рублей
Заказать
• Этические принципы научных публикаций