Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Meyer, Bertrand (Editor ), Nordio, Martin (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7007
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Machine theory.
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Formal Languages and Automata Theory.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares