Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

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 insoftware engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structuredprogram generation techniques, advanced aspects of software refactoring, and name binding in language implementation.

List of contents

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.

Product details

• Assisted by: Jácome Cunha (Editor), João P. Fernandes (Editor), Ralf Lämmel (Editor), João Saraiva (Editor), Vadim Zaytsev (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.06.2017
• EAN: 9783319600734
• ISBN: 978-3-31-960073-4
• No. of pages: 235
• Dimensions: 156 mm x 15 mm x 235 mm
• Weight: 385 g
• Illustrations: XI, 235 p. 44 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters