IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) 2010

automata logics set theory type theory process algebrae probability game theory theorem-proving model-checking simulation-checking testing simulation requirements engineering specification Model-Driven Engineering software architectures and synthesis aspect and object orientation embedded and real-time systems software processes and workflows component-based software engineering software safety, security and reliability reverse engineering and software maintenance