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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPÍTULO 3. JML - JAVA MODELING LANGUAGE 58a objetos <strong>Java</strong>, pois, além de ter sintaxe semelhante à tecnologia, não interfere diretamentena programação. A definição da especificação JML é feita através de comentários.Como a linguagem JML é baseada nos conceitos definidos por Meyer [26], o significadoe a aplicação de projeto por contrato foi detalhado neste capítulo. Conceitos comoinvariante de classe, pré e pós-condições e herança de contratos foram tratados. A estruturada linguagem JML, cláusulas e sua utilização também fizeram parte deste capítulo.Por fim, os tipos de especificação e as principais ferramentas que dão apoio à linguagemJML foram descritas.