04209nam 22008295 450 991048487140332120200704092511.03-319-28406-110.1007/978-3-319-28406-4(CKB)4340000000001270(SSID)ssj0001616896(PQKBManifestationID)16349242(PQKBTitleCode)TC0001616896(PQKBWorkID)14921745(PQKB)10000761(DE-He213)978-3-319-28406-4(MiAaPQ)EBC5576456(PPN)191705489(EXLCZ)99434000000000127020160112d2015 u| 0engurnn|008mamaatxtccrSoftware Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /edited by Bertrand Meyer, Martin Nordio1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (VII, 191 p. 29 illus. in color.) Programming and Software Engineering ;8987"LNCS 8987 Tutorial"--Cover.3-319-28405-3 Includes bibliographical references and index.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.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. .Programming and Software Engineering ;8987Software engineeringComputer logicComputer programmingArtificial intelligenceManagement information systemsComputer scienceProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer logic.Computer programming.Artificial intelligence.Management information systems.Computer science.Programming languages (Electronic computers).Software Engineering.Logics and Meanings of Programs.Programming Techniques.Artificial Intelligence.Management of Computing and Information Systems.Programming Languages, Compilers, Interpreters.005.1Meyer Bertrandedthttp://id.loc.gov/vocabulary/relators/edtNordio Martinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484871403321Software Engineering774147UNINA