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 und andere
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

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
Computer und Internet
ERSCHIENEN
2017
28. Juni
SPRACHE
EN
Englisch
UMFANG
246
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
3,4
 MB
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