A Direct Path to Dependable Software.

The article discusses efforts to make computer software more dependable, examining requirements for computer software developers to produce direct evidence that their software is dependable. Advantages to this approach include greater credibility and reduced costs, the author suggests. Topics includ...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 52; no. 4; pp. 78 - 89
Autor principal: Jackson, Daniel
Formato: Artículo
Publicado: Association for Computing Machinery Apr2009
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=37295784&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 37295784
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Apr2009
      vid: 52
      iid: 4
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        37295784
        10.1145/1498765.1498787
      ppf: 78
      ppct: 11
      formats:
      tig:
        atl: A Direct Path to Dependable Software.
      aug:
        au: Jackson, Daniel
        affil: Professor, computer science, Massachusetts Institute of Technology and a principal investigator, MIT’s Computer Science and Artificial Intelligence Lab, Cambridge, MA.
      su:
        Computer software development -- Management
        Software failures
        Computer software industry
        Reliability (Personality trait)
        Computer programmers
        Computer industry
      sug:
        subj:
          Computer software development -- Management
          Software failures
          Computer software industry
          Reliability (Personality trait)
          Computer programmers
          Computer industry
      ab: The article discusses efforts to make computer software more dependable, examining requirements for computer software developers to produce direct evidence that their software is dependable. Advantages to this approach include greater credibility and reduced costs, the author suggests. Topics include the lack of databases in the software industry that record the causes or effects of software failure and industry data that would support software developers efforts to improve design and development strategies.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2009
    holdings:
      @attributes:
        islocal: N