Editors:
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)
Conference series link(s): LASER: LASER Summer School on Software Engineering
Conference proceedings info: LASER 2009. LASER 2010. LASER 2008.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
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.
Keywords
- concurrent programming
- experimental replicaction
- formal specification
- operational semantics
- software testing
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, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Programming Techniques, Formal Languages and Automata Theory, IT Operations