JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lista de Figuras2.1 Smart <strong>Card</strong>. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212.2 JCVM - <strong>Java</strong> <strong>Card</strong> Virtual Machine. . . . . . . . . . . . . . . . . . . . . 232.3 Desenvolvimento <strong>Java</strong> <strong>Card</strong> - off-card. . . . . . . . . . . . . . . . . . . . 242.4 Desenvolvimento <strong>Java</strong> <strong>Card</strong> - on-card. . . . . . . . . . . . . . . . . . . . 242.5 Ciclo de Vida de um Applet. . . . . . . . . . . . . . . . . . . . . . . . . 262.6 Classe Applet [37]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.7 Classe de Tratamento de Exceção. . . . . . . . . . . . . . . . . . . . . . 282.8 Constantes UsuarioApplet. . . . . . . . . . . . . . . . . . . . . . . . . . 312.9 Método install de UsuarioApplet. . . . . . . . . . . . . . . . . . . . . . . 322.10 Construtor UsuarioApplet. . . . . . . . . . . . . . . . . . . . . . . . . . 322.11 Método process de UsuarioApplet. . . . . . . . . . . . . . . . . . . . . . 332.12 Método verificarSenha de UsuarioApplet. . . . . . . . . . . . . . . . . . 342.13 Método getTipo de UsuarioApplet. . . . . . . . . . . . . . . . . . . . . . 353.1 Pré e Pós-Condições Verdadeiras. . . . . . . . . . . . . . . . . . . . . . 413.2 Exemplo de Invariante [21]. . . . . . . . . . . . . . . . . . . . . . . . . . 433.3 Exemplo de Constraint [21]. . . . . . . . . . . . . . . . . . . . . . . . . 443.4 Implementação da Classe Person (adaptada de [20]). . . . . . . . . . . . 4512