Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
The benefits of relaxing punctualityALUR, R ; FEDER, T ; HENZINGER, T. AJournal of the ACM, 1996, Vol.43 (1), p.116-146 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
2 |
Material Type: magazinearticle
|
![]() |
How do Java mutation tools differ?Amalfitano, Domenico ; Paiva, Ana C. R. ; Inquel, Alexis ; Pinto, Luís ; Fasolino, Anna Rita ; Just, RenéCommunications of the ACM, 2022-12, Vol.65 (12), p.74-89New York, NY, USA: ACMTexto completo disponible |
3 |
Material Type: magazinearticle
|
![]() |
An object-oriented requirements specification methodBAILIN, S. CCommunications of the ACM, 1989-05, Vol.32 (5), p.608-623New York, NY: Association for Computing MachineryTexto completo disponible |
4 |
Material Type: magazinearticle
|
![]() |
(Re)Use of Research Results (Is Rampant)Baldassarre, Maria Teresa ; Ernst, Neil ; Hermann, Ben ; Menzies, Tim ; Yedida, RahulCommunications of the ACM, 2023-02, Vol.66 (2), p.75-81New York, NY, USA: ACMTexto completo disponible |
5 |
Material Type: magazinearticle
|
![]() |
Software complexity and maintenance costsBANKER, R. D ; DATAR, S. M ; KEMERER, C. F ; ZWEIG, DCommunications of the ACM, 1993-11, Vol.36 (11), p.81-94New York, NY: Association for Computing MachineryTexto completo disponible |
6 |
Material Type: magazinearticle
|
![]() |
A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real WorldBESSEY, A. L ; BLOCK, Ken ; CHELF, Ben ; CHOU, Andy ; FULTON, Bryan ; HALLEM, Seth ; HENRI-GROS, Charles ; KAMSKY, Asya ; MCPEAK, Scott ; ENGLER, DawsonCommunications of the ACM, 2010-02, Vol.53 (2), p.66-75New York, NY: Association for Computing MachineryTexto completo disponible |
7 |
Material Type: Artículo
|
![]() |
Bisimulation can't be tracedBLOOM, B ; ISTRAIL, S ; MEYER, A. RJournal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
8 |
Material Type: magazinearticle
|
![]() |
Software as artBond, Gregory WCommunications of the ACM, 2005-08, Vol.48 (8), p.118-124New York: Association for Computing MachineryTexto completo disponible |
9 |
Material Type: magazinearticle
|
![]() |
PROCESS MODELINGCURTIS, B ; KELLNER, MI ; OVER, JCommunications of the ACM, 1992-09, Vol.35 (9), p.75-90NEW YORK: Assoc Computing MachineryTexto completo disponible |
10 |
Material Type: magazinearticle
|
![]() |
Sharpening Your ToolsGarfinkel, Simson ; Stewart, JonCommunications of the ACM, 2023-08, Vol.66 (8), p.44-52New York, NY, USA: ACMTexto completo disponible |