Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. Th.