|
|
|
|
| LEADER |
03374nam a22005895i 4500 |
| 001 |
978-3-319-60074-1 |
| 003 |
DE-He213 |
| 005 |
20170628161728.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170628s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319600741
|9 978-3-319-60074-1
|
| 024 |
7 |
|
|a 10.1007/978-3-319-60074-1
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Grand Timely Topics in Software Engineering
|h [electronic resource] :
|b International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
|c edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XI, 235 p. 44 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10223
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 700 |
1 |
|
|a Cunha, Jácome.
|e editor.
|
| 700 |
1 |
|
|a Fernandes, João P.
|e editor.
|
| 700 |
1 |
|
|a Lämmel, Ralf.
|e editor.
|
| 700 |
1 |
|
|a Saraiva, João.
|e editor.
|
| 700 |
1 |
|
|a Zaytsev, Vadim.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319600734
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10223
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-60074-1
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
