skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover autor: Ruby, Clyde 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

Buscando em bases de dados remotas. Favor aguardar.