Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Dynamic Software Product LinesHallsteinsen, S. ; Hinchey, M. ; Sooyong Park ; Schmid, K.Computer (Long Beach, Calif.), 2008-04, Vol.41 (4), p.93-95 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Globalizing Modeling LanguagesCombemale, Benoit ; DeAntoni, Julien ; Baudry, Benoit ; France, Robert B. ; Jezequel, Jean-Marc ; Gray, JeffComputer (Long Beach, Calif.), 2014-06, Vol.47 (6), p.68-71 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
The problem with threadsLee, E.A.Computer (Long Beach, Calif.), 2006-05, Vol.39 (5), p.33-42 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Adding Nesting Structure to WordsALUR, Rajeev ; MADHUSUDAN, PJournal of the ACM, 2009-05, Vol.56 (3), p.1-43 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Embedded Software: Facts, Figures, and FutureEbert, C. ; Jones, C.Computer (Long Beach, Calif.), 2009-04, Vol.42 (4), p.42-52 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Virtual machine monitors: current technology and future trendsRosenblum, M. ; Garfinkel, T.Computer (Long Beach, Calif.), 2005-05, Vol.38 (5), p.39-47 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Compositional Shape Analysis by Means of Bi-AbductionCALCAGNO, Cristiano ; DISTEFANO, Dino ; O'HEARN, Peter W ; YANG, HongseokJournal of the ACM, 2011-12, Vol.58 (6), p.1-66 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Building Dynamic Software Product LinesHinchey, M. ; Sooyong Park ; Schmid, K.Computer (Long Beach, Calif.), 2012-10, Vol.45 (10), p.22-26 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Intel virtualization technologyUhlig, R. ; Neiger, G. ; Rodgers, D. ; Santoni, A.L. ; Martins, F.C.M. ; Anderson, A.V. ; Bennett, S.M. ; Kagi, A. ; Leung, F.H. ; Smith, L.Computer (Long Beach, Calif.), 2005-05, Vol.38 (5), p.48-56 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Visualization of test information to assist fault localizationJones, James A. ; Harrold, Mary Jean ; Stasko, JohnProceedings - International Conference on Software Engineering, 2002, p.467-477New York, NY, USA: ACMTexto completo disponível |