Grand Timely Topics in Software Engineering Grand Timely Topics in Software Engineering

Grand Timely Topics in Software Engineering

International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Jácome Cunha and Others
    • $39.99
    • $39.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2017
June 28
LANGUAGE
EN
English
LENGTH
246
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
3.4
MB

More Books Like This

Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
2016
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
2021
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022