2013 International Symposium on Theoretical Aspects of Software Engineering (TASE)

This year's edition of the TASE International Symposium is hosted by Aston University, in the heart of UK's second biggest city, Birmingham. Software engineering is at the heart of many state of the art tools designed to simplify and improve our lives, including cloud computing applications, the semantic web and self configuring systems. As these instruments are involved in fields of vital importance, by providing customised solutions for education, businesses, government and health care, the role played by the theory behind their working principles bears an undeniable weight. In this context, the TASE International Smposium strives to provide top scientists with a framework for communicating their latest and most valuable theoretical results in the field of software engineering. We invite contributions in what concerns the theoretical aspects of the following areas (please note that this is not an exhaustive list): model driven software engineering component based software engineering service oriented and cloud computing semantic web and web services software security, reliability, simulation and verification probabilistic fundamentals of software engineering embedded and real time software systems program logics and underlying mathematical issues aspect, rule and object oriended software design self configuring software systems reverse engineering