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

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

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Cunha, Jácome. (Editor ), Fernandes, João P. (Editor ), Lämmel, Ralf. (Editor ), Saraiva, João. (Editor ), Zaytsev, Vadim. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10223
Materias:
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer programming.
Mathematical logic.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Mathematical Logic and Formal Languages.
Tabla de Contenidos:
  • 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.

Ejemplares similares