|
Моделирование и анализ информационных систем, 2008, том 15, номер 3, страницы 47–55
(Mi mais110)
|
|
|
|
Разработка корректных Java Card-программ на основе автоматного подхода
А. А. Клебанов, А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Аннотация:
Описываются результаты исследований, направленных на создание корректного Java Card-кода. При этом код генерируется из высокоуровневого описания на основе технологии автоматного программирования. Дополнительным достоинством подобного подхода является возможность генерации формальной спецификации приложения. Соответствие исходного или byte-кода спецификации может быть проверено различными верификаторами или средствами динамической или статической проверки.
Ключевые слова:
автомат, автоматное программирование, модель, верификация.
Поступила в редакцию: 24.07.2008
Образец цитирования:
А. А. Клебанов, А. А. Шалыто, “Разработка корректных Java Card-программ на основе автоматного подхода”, Модел. и анализ информ. систем, 15:3 (2008), 47–55
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais110 https://www.mathnet.ru/rus/mais/v15/i3/p47
|
Статистика просмотров: |
Страница аннотации: | 267 | PDF полного текста: | 167 | Список литературы: | 44 |
|