Nantilus
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 |
| LEADER | 04040clm a2200757 4500 | ||
|---|---|---|---|
| 001 | PPN159085667 | ||
| 003 | http://www.sudoc.fr/159085667 | ||
| 005 | 20241001154900.0 | ||
| 010 | |a 978-3-642-25231-0 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-25231-0 |2 DOI |
| 035 | |a (OCoLC)823889618 | ||
| 035 | |a Springer978-3-642-25231-0 | ||
| 035 | |a Springer-11645-978-3-642-25231-0 | ||
| 100 | |a 20120309d2012 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Empirical Software Engineering and Verification |e International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures |f edited by Bertrand Meyer, Martin Nordio. | |
| 205 | |a 1st ed. 2012. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg |d 2012 | |
| 225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7007 | |
| 230 | |a Données textuelles | ||
| 327 | 1 | |a Search Based Software Engineering: Techniques, Taxonomy, Tutorial |a Replication of Software Engineering Experiments |a A Formal Reference for SCOOP |a On the Integration of Software Testing and Formal Analysis |a Is Branch Coverage a Good Measure of Testing Effectiveness | |
| 330 | |a 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. | ||
| 337 | |a Nécessite un lecteur de fichier PDF | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7007 | |
| 452 | | | |t Empirical Software Engineering and Verification |b Texte imprimé |y 9783642252303 | |
| 452 | | | |t Empirical Software Engineering and Verification |b Texte imprimé |y 9783642252327 | |
| 606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
| 606 | |3 PPN027234886 |a Informatique |2 rameau | ||
| 606 | |3 PPN027235912 |a Langages de programmation |2 rameau | ||
| 606 | |3 PPN027241378 |a Microordinateurs |x Programmation |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Management of Computing and Information Systems | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Programming Techniques | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a IT Operations | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 676 | |a 004 | ||
| 680 | |a QA76.758 | ||
| 700 | 1 | |3 PPN027026434 |a Meyer-Stabley |b Bertrand |f 1955-.... |4 070 | |
| 701 | 1 | |3 PPN029098394 |a Meyer |b Bertrand |f 1950-.... |c chercheur en informatique |4 340 | |
| 701 | 1 | |a Nordio |b Martin |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
| 856 | 4 | |5 441099901:830849718 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-25231-0 | |
| 915 | |5 441099901:830849718 |b SPRING13-00085 | ||
| 930 | |5 441099901:830849718 |b 441099901 |j g | ||
| 991 | |5 441099901:830849718 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:08 | ||
| 997 | |a NUM |b SPRING13-00085 |d NUMpivo |e EM |s d | ||
| 998 | |a 977921 | ||