Разработка web-frontend для NuSMV
бакалаврская работа release_dwygclbh35d5hexn63qfk2v6mi

by Виталий Кан, Владимир Ицыксон, Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий

Published by Санкт-Петербургский политехнический университет Петра Великого.

2017  

Abstract

В рамках выпускной квалификационной работы разработано веб-приложение, реализующее графический пользовательский интерфейс для верификатора NuSMV. Приложение построено в соответствии с клиент-серверной архитектурой. Рассмотрены существующие решения в области графических интерфейсов для верификаторов NuSMV, Spin, проанализированы их достоинства и недостатки. Сформулирована постановка задачи, требования к разрабатываемому программному обеспечению. Проанализированы технологии, с помощью которых возможна реализация приложения в соответствии с требованиями, обоснован их выбор. Выполнено функциональное и модульное тестирование компонентов приложения.
In text/plain format

Archived Files and Locations

application/pdf  1.6 MB
file_7s7qm743fnbmhj3ag22wybu6wa
elib.spbstu.ru (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2017
Language   ru ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8a23e23e-1142-4248-9ba6-b6a3c890a615
API URL: JSON