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 والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
٢٨ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٢٤٦
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٣٫٤
‫م.ب.‬
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
٢٠١٦
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
٢٠١٦
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
٢٠٢١
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
٢٠٢٠
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
٢٠١٨
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
٢٠٢٢