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.
CAPÍTULO 4. APLICABILIDADE DE JML A JAVA CARD 6401 /*@ requires apdu != null;02 @ ensures true;03 @ signals (ISOException) true;04 @ signals (Exception) true;05 @*/06 public abstract void process(APDU apdu)07 throws ISOException;Figura 4.3: Especificação do método process.01 /*@ requires bArray != null &&02 @ bOffset >= 0 && 5