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...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. |
Édition : | 1st ed. 2012. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 |
Collection : | Programming and Software Engineering ; 7007 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Contenu : | 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 |
Sujets : | |
Documents associés : | Autre format:
Empirical Software Engineering and Verification Autre format: Empirical Software Engineering and Verification |