Resultados de búsqueda - Computer software correctness*

Limitar resultados
  1. Imagen de Portada

    Systems Correctness Practices at Amazon Web Services. por Brooker, Marc, Desai, Ankush

    Publicado en Communications of the ACM (Jun2025)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    Erratum: The Aggregate Implications of Regional Business Cycles. por Beraja, Martin, Hurst, Erik, Ospina, Juan

    Publicado en Econometrica (Sep2025)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    Abstracting Abstract Machines A Systematic Approach to Higher-Order Program Analysis. por Van Horn, David, Might, Matthew

    Publicado en Communications of the ACM (Sep2011)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    Reasoning About the Unknown in Static Analysis. por Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Publicado en Communications of the ACM (Aug2010)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors. por Sewell, Peter, Sarkar, Susmit, Owens, Scott, Nardelli, Francesco Zappa, Myreen, Magnus O.

    Publicado en Communications of the ACM (Jul2010)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    Model Checking: Algorithmic Verification and Debugging. por Clarke, Edmund M., Emerson, E. Allen, Sifakis, Joseph

    Publicado en Communications of the ACM (Nov2009)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

    Exterminator: Automatically Correcting Memory Errors with High Probability. por Novark, Gene, Berger, Emery D., Zorn, Benjamin G.

    Publicado en Communications of the ACM (Dec2008)

    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

    Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate. por Grottke, Michael, Trivedi, Kishor S.

    Publicado en Computer (00189162) (Feb2007)

    Ver este registro en EBSCOhost
    Artículo
  9. Imagen de Portada

    Fine-grained Concurrency with Separation Logic. por Kapoor, Kalpesh, Lodaya, Kamal, Reddy, Uday

    Publicado en Journal of Philosophical Logic (Oct2011)

    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

    Viewpoint: Retrospective: An Axiomatic Basis for Computer Programming. por Hoare, C. A. R.

    Publicado en Communications of the ACM (Oct2009)

    Ver este registro en EBSCOhost
    Opinion
  11. Imagen de Portada

    Discovering Bugs, or Ensuring Success? Finding errors is not the same as making certain a software product works correctly. por Buzruk, Vivek

    Publicado en Communications of the ACM (Sep2018)

    Ver este registro en EBSCOhost
    Artículo
  12. Imagen de Portada

    Validity of decision support systems: towards a validation methodology. por Finlay, Paul N., Wilson, John M.

    Publicado en Systems Research & Behavioral Science (May/June 1997)

    Ver este registro en EBSCOhost
    Artículo
  13. Imagen de Portada

    Liability in Software License Agreements. por Warme, David

    Publicado en Communications of the ACM (Oct2015)

    Ver este registro en EBSCOhost
    Letter to the Editor
  14. Imagen de Portada

    Abstracting Abstract Machines. por Danvy, Olivier, Midtgaard, Jan

    Publicado en Communications of the ACM (Sep2011)

    Ver este registro en EBSCOhost
    Artículo
  15. Imagen de Portada

    Large-Scale Sound and Precise Program Analysis. por Henglein, Fritz

    Publicado en Communications of the ACM (Aug2010)

    Ver este registro en EBSCOhost
    Artículo
  16. Imagen de Portada

    seL4: Formal Verification of an Operating-System Kernel. por Klein, Gerwin, Andronick, June, Elphinstone, Kevin, Heiser, Gernot, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, Kolanski, Rafal, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon

    Publicado en Communications of the ACM (Jun2010)

    Ver este registro en EBSCOhost
    Artículo
  17. Imagen de Portada

    A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. por BESSEY, AL, BLOCK, KEN, CHELF, BEN, CHOU, ANDY, FULTON, BRYAN, HALEM, SETH, HENRI-GROS, CHARLES, KAMSKY, ASYA, MCPEAK, SCOTT, ENGLER, DAW SON

    Publicado en Communications of the ACM (Feb2010)

    Ver este registro en EBSCOhost
    Artículo
  18. Imagen de Portada

    Keeping computers from making mistakes: quis custodiet?

    Publicado en Economist (February 9 1991)

    Ver este registro en EBSCOhost
    Artículo
  19. Imagen de Portada

    Technical Perspective: Patching Program errors. por Rinard, Martin C.

    Publicado en Communications of the ACM (Dec2008)

    Ver este registro en EBSCOhost
    Artículo
  20. Imagen de Portada

    Co-Developing Programs and Their Proof of Correctness. por Chapman, Roderick, Dross, Claire, Matthews, Stuart, Moy, Yannick

    Publicado en Communications of the ACM (Mar2024)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: