TASE 2013 - 7th International Symposium on Theoretical Aspects of Software Engineering

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
The TASE 2013 organisers would like to welcome you to Aston University, where we do our best to offer you an enjoyable and scientifically rewarding experience.