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

FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002

Leavens, Gary T. ; Cytron, Ron

Digital Repository @ Iowa State University 2002

Texto completo disponível

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

Multiple Dispatch as Dispatch on Tuples

Leavens, Gary T. ; Millstein, Todd

Digital Repository @ Iowa State University 1998

Texto completo disponível

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

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning

Leavens, Gary T. ; Naumann, David A.

Digital Repository @ Iowa State University 2006

Texto completo disponível

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

JML's Rich, Inherited Specifications for Behavioral Subtypes

Leavens, Gary T.

Digital Repository @ Iowa State University 2006

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.