Overview
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7007)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: LASER 2008. LASER 2009. LASER 2010.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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.
Bibliographic Information
Book Title: Empirical Software Engineering and Verification
Book Subtitle: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Editors: Bertrand Meyer, Martin Nordio
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-25231-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-25230-3Published: 09 January 2012
eBook ISBN: 978-3-642-25231-0Published: 02 February 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 213
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Mathematical Logic and Formal Languages, Management of Computing and Information Systems