Математическое моделирование верификации процесса разработки программного обеспечения
Диссертация
Практичность программной инженерии складывается из многочисленных аспектов, связанных как с особенностями организации процессов разработки программного обеспечения, так и с реализацией конечных продуктов. В работах Б. Боэма, Р. Фатрелла, Э. Брауде, J1. Локвуда, Д. Шафера убедительно показано, что успешная разработка программного обеспечения зависит не только от получения удачного программного… Читать ещё >
Содержание
- Глава I. Обзор методов и алгоритмов верификации программной инженерии
- Методологии разработки программного обеспечения
- Верификация процесса разработки программного обеспечения
- Описание семантики процесса разработки
- Комплексы поддержки программной инженерии
- Выводы
- Глава II. Математическая модель верификации процесса программной инженерии
- Модель разработки программного обеспечения
- Динамическая модель процесса разработки программного обеспечения
- Выводы
- Глава III. Модель семантических отношений между артефактами проекта
- Метод оценки корректности рабочих продуктов
- Язык определения семантических отношений артефактов
- Компилятор языка семантических отношений артефактов
- Выводы
- Глава IV. Программный комплекс поддержки разработки программного обеспечения
- Архитектура программного комплекса
- Описание модулей программного комплекса
- Выводы
- Глава V. Апробация программного комплекса
- Модификация унифицированного процесса разработки программного обеспечения
- Проведение эксперимента
- Правила верификации процесса разработки программного обеспечения
- Практика использования программного комплекса в учебных проектах
- Выводы
- Выводы по диссертационной работе
- Список источников и литературы
Список литературы
- Г. Буч. UML. Классика CS. 2-ое изд. / Г. Буч, А. Якобсон, Дж. Рамбо: Пер. с англ.- Под общей редакцией проф. С. Орлова СПб.: Издательство: «Питер», 2006. — 736 е.: ил.
- Г. Буч. Язык UML. Руководство пользователя. 2-ое изд. / Г. Буч, Д. Рамбо, И. Якобсон.: Пер. с англ. Мухин Н. М.: Издательство: «ДМК Пресс», 2007. — 496 е.: ил.
- Г. Буч. Язык UML. Руководство пользователя. / Г. Буч, Д. Рамбо, А. Джекобсон.: Пер. с англ. Слинкин А. А. 2-ое изд., стер. — М.: Издательство: «ДМК Пресс" — СПб.: Издательство: «Питер», 2004, — 432 е.: ил.
- Д. Рамбо. UML. Специальный справочник. / Д. Рамбо, А. Якобсон, Г. Буч. СПб.: Издательство: «Питер», 2002. — 656 с.
- Д. Рамбо. UML 2.0. Объектно-ориентированное моделирование и разработка. 2-ое изд. / Д. Рамбо, М. Блаха. СПб.: Издательство: «Питер», 2007 — 544 е.: ил.
- А. Якобсон. Унифицированный процесс разработки программного обеспечения. / А. Якобсон, Г. Буч, Д. Рамбо. СПб.: Издательство: «Питер», 2002, — 496 е.: ил.
- Дж. Шмуллер. Освой самостоятельно UML за 24 часа, 3-е изд.: Пер. с англ. М.: Издательский дом «Вильяме», 2005. — 416 е.: ил. — Парал. тит. англ.
- К. Ларман. Применение UML и шаблонов проектирования. 2-ое изд.: Пер. с англ. М.: Издательский дом «Вильяме», 2004. — 624 е.: ил. -Парал. тит. англ.
- К. Ларман. Применение UML 2.0 и шаблонов проектирования.: Пер. с англ. — М.: Издательский дом «Вильяме», 2008. — 736 е.: ил. — Парал. тит. англ.
- М. Фаулер. UML. Основы. 2-ое изд. Краткое руководство по унифицированному языку моделирования / М. Фаулер, К. Скотт.: Пер. с англ. СПб.: Издательство: «Символ-Плюс», 2006. — 192 е.: ил.
- М. Фаулер. UML. Основы. 3-е изд. Краткое руководство по стандартному языку объектного моделирования.: Пер. с англ. — СПб.: Издательство: «Символ-Плюс», 2002. 192 е.: ил.
- Э. Нейбург. Проектирование баз данных с помощью UML. / Э. Нейбург, Дж. Максимчук, А. Роберт.: Пер. с англ. — М.: Издательский дом «Вильяме», 2002. 288 е.: ил. — Парал. тит. англ.
- Hans-Erik Eriksson. Business Modeling with UML: Business Patterns at Work. / H. Eriksson, M. Penker. OMG Press. John Wiley & Sons, 2000. -459 pages.
- Ф. Крачтен. Введение в Rational Unified Process. 2-ое изд.: Пер. с англ. М.: Издательский дом «Вильяме», 2002. — 240 е.: ил. — Парал. тит. англ.
- Г. Поллис. Разработка программных проектов: на основе Rational Unified Process (RUP). / Г. Поллис, JI. Огастин, К. Jloy, Д. Мадхар. -М.: Издательство: ООО «Бином-Пресс», 2005 г. 256 е.: ил.
- Электронное справочное руководство Rational Unified Process Version 7.0 Copyright © IBM Corporation 1987, 2005.
- S. Ambler. The Enterprise Unified Process: Extending the Rational Unified Process. / S. Ambler, J. Nalbone, M. Vizdos. Prentice Hall PTR, 2005. -408 pages.
- J. Warmer. The Object Constraint Language. Precise Modeling with UML. / J. Warmer, A Kleppe.: Addison-Wesley Professional, 1998. 112 pages.
- J. Warmer. The Object Constraint Language Second Edition. Getting Your Models Ready for MDA (2nd Edition). / J. Warmer, A Kleppe.: Addison-Wesley Professional, 2003 — 206 pages.
- Д. Хопкрофт. Введение в теорию автоматов, языков и вычислений, 2-ое изд. / Д. Хопкрофт, Р. Мотвани, Д. Ульман.: Пер. с англ. М.: Издательский дом «Вильяме», 2008. — 528 е.: ил. — Парал. тит. англ.
- Б.А. Трахтенброт. Конечные атоматы (поведение и синтез). / Б. А. Трахтенброт, Я. М. Барздинь. — М.: Издательство: «Наука», 1970. 400 е.: ил.
- Н.К. Верещагин. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. / .К. Верещагин, А. Щень. -М.: Издательство: «МЦНМО», 1999. 128 с.
- А.В. Гладкий. Формальные грамматики и языки. — М.: Издательство: «Наука», 1973.-368 с.
- Н. Хомский. Введение в формальный анализ естественных языков. / Н. Хомский, Дж. Миллер. М.: Издательство: «Едиториал УРСС», 2003. -64 с.
- Э. Брауде. Технология разработки программного обеспечения. СПб.: Издательство: «Питер», 2004. — 655 е.: ил.
- С. Амблер. Гибкие технологии: экстремальное программирование и унифицированный процесс разработки. Библиотека программиста. -СПб.: Издательство: «Питер», 2005. 412 е.: ил.
- JT. Константайн. Разработка программного обеспечения. / JI. Константайн, JI. Локвуд. СПб.: Издательство: «Питер», 2004. — 592 е.: ил.
- Scott W. Ambler. The Object Primer, Third Edition. Cambridge University Press, 2004 572 pages.
- Э. Роллингз. Проектирование и архитектура игр. / Э. Роллингз, Д. Моррис.: Пер. с англ. М.: Издательский дом «Вильяме», 2006. — 1040 е.: ил. — Парал. тит. англ.
- Д. Шафер. Управление программными проектами: достижение оптимального качества при минимуме затрат. / Д. Шафер, Р. Фатрелл, J1. Шафер.: Пер. с англ. — М.: Издательский дом «Вильяме», 2003. — 1136 е.: ил. Парал. тит. англ.
- IEEE Guide to the Software Engineering Body of Knowledge -SWEBOK®. California, Computer society, 2004 version.
- М. Bonsangue. Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6−8, 2007, Proceedings. / M. Bonsangue, E. Johnsen.: Springer, 2007. — 317 pages.
- B. Beckert. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino. / B. Beckert, H. Hahnle, P. Schmitt.: Springer, 2007. 658 pages.
- E. Najm. Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. / E. Najm, U. Nestmann, P. Stevens.: Springer, 2003. 293 pages.
- A. Ахо. Компиляторы: принципы, технологии, инструменты. / А. Ахо, Р. Сети, Дж. Ульман. М.: Издательский дом «Вильяме», 2003. — 768 с.
- ГОСТ Р ИСО 9000−2001 Системы менеджмента качества. Основные положения и словарь. — М.: Издательство: «Госстандарт России», 2001.
- ГОСТ Р ИСО 9001−2001 Системы менеджмента качества. Требования. М.: Издательство: «Госстандарт России», 2001.
- ГОСТ Р ИСО/МЭК 12 207−99 Информационная технология. Процессы жизненного цикла программных средств. — М.: Издательство: «Госстандарт России», 2000.
- ГОСТ Р ИСО/МЭК 15 288−2005 Информационная технология. Системная инженерия. Процессы жизненного цикла систем. М.: Издательство «Сгандартинформ», 2006.
- Object Management Group (OMG) (2006, May 01). Object Constraint Language Specification (OCL) Version 2.0 WWW document. URL http://www.omg.org/cgi-bin/doc7fomial/2006−05−01 46. The Object Constraint Language [WWW document].
- URL http://www.csci.csusb.edu/dick/samples/ocl.html 47. Object Constraint Language WWW document.
- URL http://en.wikipedia.org/wiki/ObjectConstraintLanguage
- Some Shortcomings of OCL, the Object Constraint Language of UML WWW document.
- URL http://www.omg.org/docs/ad/99−12−05.pdf 49. Introduction to OCL WWW document.
- URL http://www.klasse.nl/ocl/ocl-introduction.html 50. Why Combine UML and OCL? WWW document.
- URL http://www.klasse.nl/ocl/ocl-reasons.html 51.0bject-zto OCL dictionary WWW document.
- URL http://www.klasse.nl/ocl/oz-ocl-mapping.pdf 52. On the Expressive Power of the Object Constraint Language OCL WWW document.
- URL http://projekte.fast.de/Projekte/forsoft/ocl/ocl.html 53. Architecture and Design: Unified Modeling Language (UML) WWW document.
- URL http://www.omg.Org/spec/SPEM/2.0/PDF 56. Object Management Group (OMG) (2006, January 01). Meta Object Facility (MOF) Core specification Version 2.0 WWW document. URL http://www.omg.org/spec/MOF/2−0/PDF/
- UML to XMI Export Functionality WWW document. URL http://msdn.microsoft.com/en-us/library/aal40339.aspx
- Eclipse Process Framework (EPF) 1.2.0 WWW document.
- URL http://nvoynov.blogspot.eom/2007/08/eclipse-process-framework-epf-120.html
- IBM Rational Method Composer WWW document.
- URL http://www.interface.ru/home.asp7artI d=543 5 63. IBM Rational Requisite Pro WWW document.
- URL http://www.interface.ru/liome.asp?artId=l0131 64. IBM Rational Requisite Pro-2 WWW document. URL http://www.interface.ru/liome.asp?artId=l 0294
- RequisitePro средство управления требованиями URL http://www.interface.ru/home.asp?artld=4835
- Моделирование процессов разработки ПО и процессов с помощью Rational Method Composer URL http://www.interface.ru/home.asp?artId=l 524
- Выпуск Eclipse Process Framework (EPF) версии 1.2.0 WWW document.
- URL http.7/www.it4business.ru/archives/444/ 68. IBM Rational Unified Process WWW document.
- URL http://www.interface.ru/home.asp?artld=486 69. Унифицированный процесс разработки от Rational Software RUP (Rational Unified Process) WWW document. URL http://www.interface.ru/home.asp?artId=34 221. WWW document. создание сайтов WWW document.
- IBM Rational Unified Process (RUP) WWW document. URL http://www.interface.ru/home.asp?artTd=5154
- Модель качества разработок CMM и ее поддержка линейкой продуктов Rational WWW document.
- URL http://www.interface.m/home.asp?artld:=2304
- Rational Unified Process как достичь 2-го уровня CMM WWW document.
- URL http://www.interface.ru/home.asp?artId=2310
- Rational Unified Process как достичь 3-го уровня CMM WWW document.
- URL http://www.interface.ru/home.asp?artld=2312
- Использование RUP для небольших проектов: расширение экстремального программирования WWW document.
- URL http://www.interface.ru/home.asp?artld=4720
- Динамичный RUP: Вести с передовой WWW document. URL http://www.interface.m/home.asp?artId=l9794
- RUP и другие методологии разработки ПО WWW document. URLhttp://cmcons.com/articles/obshhiestatimp/rupidrugiemetodologiiraz rabotkipo/
- OpenUP это просто WWW document.
- URL http://www.interface.ru/home.asp?artId=9995 78. Отличие формальных и гибких методологий разработки в картинках WWW document.
- URL http://www.it4business.ru/lib/1299/
- Технология разработки программного обеспечения WWW document. URL http://www.interface.i-u/home.asp?artId=4718
- Переход от каскадной разработки к итеративной WWW document. URL http://www.interface.rn/home.asp7arUxNl 15 581. Разработка программного обеспечения группой в составе одного человека WWW document. URL http://www.interface.ru/home.asp?artId=4714
- Нику да без трассировки: практические советы по внедрению трассируемости WWW document.
- URL http://www.interface.ru/home.asp?artld=6769
- В круге разработки WWW document. URL attachment:/70/attachment70.htm84.Компилятор WWW document.
- URL http://ru.wildpedia.org/wild/KoMnmMTop85.Compiler WWW document.
- URL http://en.wikipedia.org/wiki/Compiler
- List of important publications in computer science WWW document. URLhttp://en.wikipedia.org/wiki/Listofimportantpublicationsincomputers cience
- Temporal logic WWW document.
- URL http://en.wikipedia.org/wiki/Temporallogic
- Temporal logic in finite-state verification WWW document.
- URL http://en.wikipedia.org/wiki/Temporallogicinfinitestateverification
- Семантика Крипке WWW document.
- URL http://ru.wikipedia.org/wiki/CeMaHTHKaKpHnKe
- Kripke semantics WWW document.
- URL http://ru.wikipedia.org/wiki/CeMaHTHKaKpHnKe
- Kripke structure WWW document.
- URL http://en.wikipedia.org/wiki/Kj-ipkestructure
- J. Burgess. Kripke Models. WWW document.,
- URL http://www.princeton.edu/~jburgess/Kripkel .doc
- Конечный автомат WWW document.
- URL http://ru.wikipedia.0rg/wiki/K0He4HbieaBT0MaTbi
- Finite state machine WWW document.
- URL http://en.wikipedia.org/wiki/Finitestatemachine
- Moore machine WWW document.
- URL http://en.wikipedia.org/wiki/Mooremachine
- Алгебра логики WWW document.
- URL http://ru.wikipedia.org/wiki/Алгебралогики
- Boolean logic WWW document.
- URL http://en.wikipedia.org/wiki/Booleanlogic
- Формальная грамматика WWW document.
- URL http://ш.wikipedia.org/wiki/Фopмaльнaягpaммaтикa
- Formal grammar WWW document.
- URL http://en.wikipedia.org/wiki/Formalgrammar
- Formal verification WWW document.
- URL http://en.wikipedia.Org/wiki/Formalverification
- А.Г. Ивашко, М. В. Григорьев, И. И. Коломиец. Проектирование информационных систем: Учебно-методическое пособие / А. Г. Ивашко, М. В. Григорьев, И. И. Коломиец. Тюмень. Изд-во ТюмГУ, 2007. 328 с.
- А.Г. Ивашко, М. В. Григорьев. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения // Вестник ТюмГУ, 2008. — № 6. — Тюмень. С. 152−158.
- М.В. Григорьев. Верификация процесса разработки программного обеспечения в команде // Математическое и информационное моделирование. Сборник научных трудов. Вып. 10. — Тюмень. Изд-во «Вектор Бук», 2008. С. 98−106.
- М.В. Григорьев, О. И. Гладич. Об одном подходе к реализации редактора объектного языка ограничений // Проблемы информатики в образовании, управлении, экономике и технике: сборник статей VIII
- Всероссийской научно-технической конференции — Пенза. Изд-во «Приволжский Дом знаний», 2008. — С. 100−102.
- М.В. Григорьев, Ф. Ф. Мусин. Свидетельство о государственной регистрации баз данных № 2 009 620 056 «Веб-представление учебного процесса разработки программного обеспечения» от 22.01.2009.
- М.В. Григорьев, А. В. Урзиков. Свидетельство о государственной регистрации программы для ЭВМ № 2 008 613 269 «Viewer for Eclipse» от 09.07.2008.
- М.В. Григорьев, О. И. Гладич. Свидетельство о государственной регистрации программы для ЭВМ № 2 008 613 270 «Tools for EUR» от 09.07.2008.