skip to main content
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The benefits of relaxing punctuality
Material Type:
Artículo
Añadir a Mi Portal

The benefits of relaxing punctuality

ALUR, R ; FEDER, T ; HENZINGER, T. A

Journal of the ACM, 1996, Vol.43 (1), p.116-146 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

2
How do Java mutation tools differ?
Material Type:
magazinearticle
Añadir a Mi Portal

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-89

New York, NY, USA: ACM

Texto completo disponible

3
An object-oriented requirements specification method
Material Type:
magazinearticle
Añadir a Mi Portal

An object-oriented requirements specification method

BAILIN, S. C

Communications of the ACM, 1989-05, Vol.32 (5), p.608-623

New York, NY: Association for Computing Machinery

Texto completo disponible

4
(Re)Use of Research Results (Is Rampant)
Material Type:
magazinearticle
Añadir a Mi Portal

(Re)Use of Research Results (Is Rampant)

Baldassarre, Maria Teresa ; Ernst, Neil ; Hermann, Ben ; Menzies, Tim ; Yedida, Rahul

Communications of the ACM, 2023-02, Vol.66 (2), p.75-81

New York, NY, USA: ACM

Texto completo disponible

5
Software complexity and maintenance costs
Material Type:
magazinearticle
Añadir a Mi Portal

Software complexity and maintenance costs

BANKER, R. D ; DATAR, S. M ; KEMERER, C. F ; ZWEIG, D

Communications of the ACM, 1993-11, Vol.36 (11), p.81-94

New York, NY: Association for Computing Machinery

Texto completo disponible

6
A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World
Material Type:
magazinearticle
Añadir a Mi Portal

A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World

BESSEY, A. L ; BLOCK, Ken ; CHELF, Ben ; CHOU, Andy ; FULTON, Bryan ; HALLEM, Seth ; HENRI-GROS, Charles ; KAMSKY, Asya ; MCPEAK, Scott ; ENGLER, Dawson

Communications of the ACM, 2010-02, Vol.53 (2), p.66-75

New York, NY: Association for Computing Machinery

Texto completo disponible

7
Bisimulation can't be traced
Material Type:
Artículo
Añadir a Mi Portal

Bisimulation can't be traced

BLOOM, B ; ISTRAIL, S ; MEYER, A. R

Journal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

8
Software as art
Material Type:
magazinearticle
Añadir a Mi Portal

Software as art

Bond, Gregory W

Communications of the ACM, 2005-08, Vol.48 (8), p.118-124

New York: Association for Computing Machinery

Texto completo disponible

9
PROCESS MODELING
Material Type:
magazinearticle
Añadir a Mi Portal

PROCESS MODELING

CURTIS, B ; KELLNER, MI ; OVER, J

Communications of the ACM, 1992-09, Vol.35 (9), p.75-90

NEW YORK: Assoc Computing Machinery

Texto completo disponible

10
Sharpening Your Tools
Material Type:
magazinearticle
Añadir a Mi Portal

Sharpening Your Tools

Garfinkel, Simson ; Stewart, Jon

Communications of the ACM, 2023-08, Vol.66 (8), p.44-52

New York, NY, USA: ACM

Texto completo disponible

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (12)

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora