LEADER 04250nam 22007095 450 001 996466290803316 005 20200701071359.0 010 $a3-319-60074-5 024 7 $a10.1007/978-3-319-60074-1 035 $a(CKB)4340000000061573 035 $a(DE-He213)978-3-319-60074-1 035 $a(MiAaPQ)EBC5592792 035 $a(PPN)202990850 035 $a(EXLCZ)994340000000061573 100 $a20170628d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGrand Timely Topics in Software Engineering$b[electronic resource] $eInternational Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /$fedited by Jįcome Cunha, Joćo P. Fernandes, Ralf Lämmel, Joćo Saraiva, Vadim Zaytsev 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XI, 235 p. 44 illus.) 225 1 $aProgramming and Software Engineering ;$v10223 311 $a3-319-60073-7 327 $aProbabilistic 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. 330 $aThis 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 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, and name binding in language implementation. 410 0$aProgramming and Software Engineering ;$v10223 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aComputer programming 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aCunha$b Jįcome$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFernandes$b Joćo P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLämmel$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSaraiva$b Joćo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZaytsev$b Vadim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466290803316 996 $aGrand Timely Topics in Software Engineering$92830052 997 $aUNISA