Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Book information
Description
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.
Similar books
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
2011 · PDF
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
2011 · PDF
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
2016 · PDF
Software Engineering for Collective Autonomic Systems: The ASCENS Approach
2015 · PDF
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
2015 · PDF
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
2014 · PDF
Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
2014 · PDF
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
2009 · PDF