Разработка web-frontend для NuSMV
бакалаврская работа
release_dwygclbh35d5hexn63qfk2v6mi
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) |
access all versions, variants, and formats of this works (eg, pre-prints)
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar