Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Visualizing Co-Change Information with the Evolution RadarD'Ambros, M. ; Lanza, M. ; Lungu, M.IEEE transactions on software engineering, 2009-09, Vol.35 (5), p.720-735 [Periódico revisado por pares]New York: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
MobiPADS: a reflective middleware for context-aware mobile computingChan, A.T.S. ; Siu-Nam ChuangIEEE transactions on software engineering, 2003-12, Vol.29 (12), p.1072-1085 [Periódico revisado por pares]New York: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Assessing the applicability of fault-proneness models across object-oriented software projectsBriand, L.C. ; Melo, W.L. ; Wust, J.IEEE transactions on software engineering, 2002-07, Vol.28 (7), p.706-720 [Periódico revisado por pares]New York: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Model checking large software specificationsChan, W. ; Anderson, R.J. ; Beame, P. ; Burns, S. ; Modugno, F. ; Notkin, D. ; Reese, J.D.IEEE transactions on software engineering, 1998-07, Vol.24 (7), p.498-520 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Requirements specification for process-control systemsLeveson, N.G. ; Heimdahl, M.P.E. ; Hildreth, H. ; Reese, J.D.IEEE transactions on software engineering, 1994-09, Vol.20 (9), p.684-707 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Completeness and consistency in hierarchical state-based requirementsHeimdahl, M.P.E. ; Leveson, N.G.IEEE transactions on software engineering, 1996-06, Vol.22 (6), p.363-377 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The role of inspection in software quality assuranceParnas, D.L. ; Lawford, M.IEEE transactions on software engineering, 2003-08, Vol.29 (8), p.674-676 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Empirical analysis of safety-critical anomalies during operationsLutz, R.R. ; Mikulski, I.C.IEEE transactions on software engineering, 2004-03, Vol.30 (3), p.172-180 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Engineering mobile agent applications via context-dependent coordinationCabri, G. ; Leonardi, L. ; Zambonelli, F.IEEE transactions on software engineering, 2002-11, Vol.28 (11), p.1039-1055 [Periódico revisado por pares]New York: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
The detection of fault-prone programsMunson, J.C. ; Khoshgoftaar, T.M.IEEE transactions on software engineering, 1992-05, Vol.18 (5), p.423-433 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |