This work reflects current advances in specialized software techniques and tools, as well as the integration of standard software engineering methods. It addresses issues of theory and practice, with international contributions from academia and industry.