TY - BOOK AU - Cunha,Jácome AU - Fernandes,João P. AU - Lämmel,Ralf AU - Saraiva,João AU - Zaytsev,Vadim ED - SpringerLink (Online service) TI - Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures T2 - Programming and Software Engineering SN - 9783319600741 AV - QA76.758 U1 - 005.1 23 PY - 2017/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Computer programming KW - Mathematical logic KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Programming Techniques KW - Mathematical Logic and Formal Languages N1 - Probabilistic program analysis -- Ontologies in software engineering -- Empirical evaluation of programming and programming languages -- Model synchronization management of software product families -- "People analytics" in software development -- DSLs in robotics, structured program generation techniques -- Advanced aspects of software refactoring -- Name binding in language implementation N2 - This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation UR - https://doi.org/10.1007/978-3-319-60074-1 ER -