Mostrando 1 - 4 resultados de 4 para a busca '"JML"', tempo de busca: 0,03s

1

Assuntos: “...JML...”

Contract modularity in design by contract languages

Publicado em 2014
Acessar documento
Tese

2

Assuntos: “...JML...”

Contribuições para verificação automática de applets javacard

Publicado em 2004
Acessar documento
Dissertação

3

Assuntos: “...JML...”

JCML - Java Card Modeling Language: Definição e Implementação

Publicado em 2007
Acessar documento
Dissertação

4

Assuntos: “...Java Modeling Language - JML...”

Uma técnica para verificar não conformidades em programas especificados com contratos.

Publicado em 2013
Acessar documento
Dissertação