rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Cooperative Bug Isolation
    sub title: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
  name:
    name part: Liblit, Ben.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2007
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 101 p. online resource.
  abstract: Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.
  table of contents: Instrumentation Framework -- Practical Considerations -- Techniques for Statistical Debugging -- Related Work -- Conclusion.
  note: by Ben Liblit.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Algorithms
  subject:
    topic: Computer logic
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Software Engineering
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Algorithm Analysis and Problem Complexity
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 4440
  identifier: 9783540718789
  identifier: http://dx.doi.org/10.1007/978-3-540-71878-9
  record info:
    record creation date: 100301
    record change date: 20151204184001.0
    record identifier: 978-3-540-71878-9