Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
An embedded modeling language approach to interactive 3D and multimedia animationElliott, C.IEEE transactions on software engineering, 1999-05, Vol.25 (3), p.291-308 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
EVA: a flexible programming method for evolving systemsMatsuura, 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: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Verifying definite iteration over data structuresStavely, A.M.IEEE transactions on software engineering, 1995-06, Vol.21 (6), p.506-514 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
Exception handlers in functional programming languagesGovindarajan, R.IEEE transactions on software engineering, 1993-08, Vol.19 (8), p.826-834 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Theory of ModulesGannon, 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: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
EQL: the language and its implementationJayaraman, B. ; Gupta, G.IEEE transactions on software engineering, 1989-06, Vol.15 (6), p.771-779 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Semantics of EqLJayaraman, B.IEEE transactions on software engineering, 1988-04, Vol.14 (4), p.472-480 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
A Comparison of the Axiomatic and Functional Models of Structured ProgrammingBasili, 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: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Cell: A Distributed Computing Modularization ConceptSilberschatz, AbrahamIEEE transactions on software engineering, 1984-03, Vol.SE-10 (2), p.178-185 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |