TY  - BOOK
AU  - Furia,Carlo A.
AU  - Nanz,Sebastian
ED  - SpringerLink (Online service)
TI  - Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642305610
AV  - QA76.758 
U1  - 005.1 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Mathematical Logic and Formal Languages
N2  - This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS
UR  - http://dx.doi.org/10.1007/978-3-642-30561-0
ER  -