TY - BOOK AU - Meyer,Bertrand AU - Nordio,Martin ED - SpringerLink (Online service) TI - Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures T2 - Programming and Software Engineering SN - 9783319284064 AV - QA76.758 PY - 2015/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Software engineering KW - Logic design KW - Computer science KW - Artificial intelligence KW - Information Systems KW - Software Engineering KW - Logics and Meanings of Programs KW - Programming Techniques KW - Artificial Intelligence KW - Management of Computing and Information Systems KW - Programming Languages, Compilers, Interpreters N1 - How to build a recommendation system for software engineering -- behaviors as design components of cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based software -- consistency in distributed systems -- software mining studies: goals, approaches, artifacts, and replicability -- theory of programs N2 - The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected lecture notes from the 10th LASER Summer School on Software Engineering: Leading-Edge Software Engineering. UR - https://doi.org/10.1007/978-3-319-28406-4 ER -