IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) 2010
conferences > Engineering conferences > IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)
25 August, 2010
Taipei , Taiwan
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
Venue
Location: National Taiwan University
Contact
1, Sec. 4, Roosevelt Rd. TAIWAN, ROC Taiwan 10617 Taipei , Taiwan
+886233663602