Например, Бобцов

ПРИМЕНЕНИЕ АВТОМАТНОГО ПОДХОДА ДЛЯ СОЗДАНИЯ КОРРЕКТНЫХ JAVA CARD-ПРИЛОЖЕНИЙ

Аннотация:

В статье предлагается подход, повышающий надежность процесса разработки Java Card-апплетов. Формулируются особенности проектирования апплетов при применении автоматного подхода,  предлагается расширенная утверждениями модель для описания функциональности,  генератор кода с заглушками и инструмент для автоматизации тестирования полученных апплетов.

Ключевые слова:

Статьи в номере