Buscas alternativas:
"jmle" » "jme" (Expandir a busca), "jsle" (Expandir a busca), "jle" (Expandir a busca)
Mostrando 1 - 5 resultados de 5 para a busca '("jmle" OR "jml")', tempo de busca: 0,58s

1

Assuntos: “...JML...”

Contract modularity in design by contract languages

Publicado em 2014
Acessar documento
Tese

2

Assuntos: “...jmle...”

Verificando a corretude de geradores automáticos de código

Publicado em 2011
Acessar documento
Dissertação

3

Assuntos: “...JML...”

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

Publicado em 2004
Acessar documento
Dissertação

4

Assuntos: “...JML...”

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

Publicado em 2007
Acessar documento
Dissertação

5

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