Желающие воспользоваться средствами проверки моделей для программного кода зачастую вынуждены сталкиваться со сложностями развёртывания и настройки специальных программных средств.Чтобы предоставить пользователю лёгкий в использовании инструмент, разработчики из лаборатории верификации и анализа программ нашего университета решили разработать веб-приложение, которое предоставляло бы возможность конечному пользователю легко проверять свои проекты, из репозиториев GitHub и BitBucket. Поскольку проверка может занимать длительное время предполагается хранение истории пользования сервисом. Результаты выдаются в виде исходных текстов с подсветкой строк, содержащих дефекты.По итогам проделанной работы, были выполнены все поставленные задачи и получено работоспособное веб-приложение, которое с некоторыми доработками, может быть представлено конечному пользователю.

• ВВЕДЕНИЕ
• 1. Анализ подходов
  • 1.1. Java
    • 1.1.1. Spring MVC
    • 1.1.2. JSF
    • 1.1.3. Vaadin
    • 1.1.4. GWT
  • 1.2. Python
    • 1.2.1. Django
    • 1.2.2. Flask
• 2. Постановка задачи
  • 2.1. Название сайта
  • 2.2. Заказчик
  • 2.3. Эксплуатационное назначение
  • 2.4. Функциональное назначение
• 3. Проектирование архитектуры системы
  • 3.1. Клиентская часть
    • 3.1.1. Главная страница
    • 3.1.2. Страница проверки репозитория
    • 3.1.3. Страница истории
    • 3.1.4. Страница деталей поиска
  • 3.2. Серверная часть
    • 3.2.1. Model
    • 3.2.2. View
• 4. Разработка системы
  • 4.1. Главная страница
  • 4.2. Страница проверки репозитория
  • 4.3. Страница истории
  • 4.4. Страница деталей поиска
  • 4.5. Страница результатов проверки
• 5. Тестирование системы
• ЗАКЛЮЧЕНИЕ
• СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
• ПРИЛОЖЕНИЕ А. ЛИСТИНГИ