Publisher's Synopsis
SERA 2010 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, parallel/distributed computing, software testing, and more.