skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An embedded modeling language approach to interactive 3D and multimedia animation
Material Type:
Artigo
Adicionar ao Meu Espaço

An embedded modeling language approach to interactive 3D and multimedia animation

Elliott, C.

IEEE transactions on software engineering, 1999-05, Vol.25 (3), p.291-308 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

2
EVA: a flexible programming method for evolving systems
Material Type:
Artigo
Adicionar ao Meu Espaço

EVA: a flexible programming method for evolving systems

Matsuura, S. ; Kuruma, H. ; Honiden, S.

IEEE transactions on software engineering, 1997-05, Vol.23 (5), p.296-313 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

3
Verifying definite iteration over data structures
Material Type:
Artigo
Adicionar ao Meu Espaço

Verifying definite iteration over data structures

Stavely, A.M.

IEEE transactions on software engineering, 1995-06, Vol.21 (6), p.506-514 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

4
Exception handlers in functional programming languages
Material Type:
Artigo
Adicionar ao Meu Espaço

Exception handlers in functional programming languages

Govindarajan, R.

IEEE transactions on software engineering, 1993-08, Vol.19 (8), p.826-834 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

5
Theory of Modules
Material Type:
Artigo
Adicionar ao Meu Espaço

Theory of Modules

Gannon, J.D. ; Hamlet, R.G. ; Mills, H.D.

IEEE transactions on software engineering, 1987-07, Vol.SE-13 (7), p.820-829 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

6
EQL: the language and its implementation
Material Type:
Artigo
Adicionar ao Meu Espaço

EQL: the language and its implementation

Jayaraman, B. ; Gupta, G.

IEEE transactions on software engineering, 1989-06, Vol.15 (6), p.771-779 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

7
Semantics of EqL
Material Type:
Artigo
Adicionar ao Meu Espaço

Semantics of EqL

Jayaraman, B.

IEEE transactions on software engineering, 1988-04, Vol.14 (4), p.472-480 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

8
A Comparison of the Axiomatic and Functional Models of Structured Programming
Material Type:
Artigo
Adicionar ao Meu Espaço

A Comparison of the Axiomatic and Functional Models of Structured Programming

Basili, V.R. ; Noonan, R.E.

IEEE transactions on software engineering, 1980-09, Vol.SE-6 (5), p.454-465 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

9
Cell: A Distributed Computing Modularization Concept
Material Type:
Artigo
Adicionar ao Meu Espaço

Cell: A Distributed Computing Modularization Concept

Silberschatz, Abraham

IEEE transactions on software engineering, 1984-03, Vol.SE-10 (2), p.178-185 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.