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: Empirical Software Engineering and Verification
    sub title: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  name:
    name part: Meyer, Bertrand.
    role:
      role term: editor.
  name:
    name part: Nordio, Martin.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: VII, 213 p. online resource.
  abstract: Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010. .
  table of contents: Search Based Software Engineering: Techniques, Taxonomy, Tutorial -- Replication of Software Engineering Experiments -- A Formal Reference for SCOOP -- On the Integration of Software Testing and Formal Analysis -- Is Branch Coverage a Good Measure of Testing Effectiveness.
  note: edited by Bertrand Meyer, Martin Nordio.
  subject:
    topic: Computer science
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Management information systems
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Programming Techniques
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Management of Computing and Information Systems
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 7007
  identifier: 9783642252310
  identifier: http://dx.doi.org/10.1007/978-3-642-25231-0
  record info:
    record creation date: 120202
    record change date: 20170112034156.0
    record identifier: 978-3-642-25231-0