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 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2017년
6월 28일
언어
EN
영어
길이
246
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
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년