Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Proving loop programsBasu, S. K. ; Misra, J.IEEE transactions on software engineering, 1975-03, Vol.SE-1 (1), p.76-86 [Periódico revisado por pares]IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Optimal placement of software monitors aiding systematic testingRamamoorthy, C. V. ; Kim, K. H. ; Chen, W. T.IEEE transactions on software engineering, 1975-12, Vol.SE-1 (4), p.403-411 [Periódico revisado por pares]IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
The Specification of AssemblersSpitzen, J.M.IEEE transactions on software engineering, 1976, Vol.SE-2 (1), p.33-40 [Periódico revisado por pares]New York: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
A Picture-Building SystemWilliams, R. ; Giddings, G.M.IEEE transactions on software engineering, 1976, Vol.SE-2 (1), p.62-66 [Periódico revisado por pares]New York: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Dynamic Improvement of Locality in Virtual Memory SystemsBaier, J.-L. ; Sager, G.R.IEEE transactions on software engineering, 1976, Vol.SE-2 (1), p.54-62 [Periódico revisado por pares]New York: IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Comments on "Structured Programming in a Production Programming Environment"Tompkins, H.E.IEEE transactions on software engineering, 1976-03, Vol.SE-2 (1), p.67-67 [Periódico revisado por pares]New York: IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Higher Order Software-A Methodology for Defining SoftwareHamilton, M. ; Zeldin, S.IEEE transactions on software engineering, 1976-03, Vol.SE-2 (1), p.9-32 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Programming-in-the-Large Versus Programming-in-the-SmallDeRemer, F. ; Kron, H.H.IEEE transactions on software engineering, 1976-06, Vol.SE-2 (2), p.80-86 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Study of High-Resolution TimingWortman, D.B.IEEE transactions on software engineering, 1976-06, Vol.SE-2 (2), p.135-137 [Periódico revisado por pares]New York: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Interactive High-Level Language Direct-Execution Microprocessor SystemYaohan Chu ; Cannon, R.IEEE transactions on software engineering, 1976-06, Vol.SE-2 (2), p.126-134 [Periódico revisado por pares]New York: IEEETexto completo disponível |