skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover assunto: Java Language remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Modular subclass verification: Safely creating correct subclasses without superclass code

Ruby, Clyde

Digital Repository @ Iowa State University 2006

Texto completo disponível

2
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Leavens, Gary T. ; Cheon, Yoonsik ; Clifton, Curtis ; Ruby, Clyde ; Cok, David R.

Digital Repository @ Iowa State University 2004

Texto completo disponível

3
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Demonstration of JML Tools

Leavens, Gary T. ; Cheon, Yoonsik ; Cok, David R.

Digital Repository @ Iowa State University 2005

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.