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

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

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Meyer-Stabley Bertrand (Auteur), Meyer Bertrand (Éditeur scientifique), Nordio Martin (Éditeur scientifique)
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 :
Génie logiciel
Informatique
Langages de programmation
Microordinateurs > Programmation
Logique mathématique
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Management of Computing and Information Systems
Software Engineering
Programming Techniques
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
IT Operations
Documents associés : Autre format: Empirical Software Engineering and Verification
Autre format: Empirical Software Engineering and Verification
Description
Résumé : 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.
Configuration requise : Nécessite un lecteur de fichier PDF
ISBN : 978-3-642-25231-0