Object, Models, Components, Patterns 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings /
Object, Models, Components, Patterns 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings / [electronic resource] :
edited by Carlo A. Furia, Sebastian Nanz.
- 1st ed. 2012.
- XI, 372 p. 100 illus. online resource.
- Programming and Software Engineering, 7304 2945-9168 ; .
- Programming and Software Engineering, 7304 .
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.
9783642305610
10.1007/978-3-642-30561-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Machine theory.
Computer networks .
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Formal Languages and Automata Theory.
Computer Communication Networks.
QA76.758
005.1
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.
9783642305610
10.1007/978-3-642-30561-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Machine theory.
Computer networks .
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Formal Languages and Automata Theory.
Computer Communication Networks.
QA76.758
005.1