The 4th Theoretical Aspects of Software Engineering Conference (TASE 2010), sponsored by IEEE Computer Society, will be held in Taipei, Taiwan, ROC in 2010.
The first three TASE conferences were held in Shanghai, China in June 2007; in Nanjing, China in June 2008; and in Tianjin, China in July 2009.
IEEE TASE 2010 aims to become a forum for the presentation and discussion of new fundamental ideas in software engineering of large-scale systems. Software engineering of such systems has usually been viewed as the study of principles, guidelines, and empirical rules. To manage the complexity of large-scale software projects, various theories have been proposed.
Topics of Interest
Such theories may include, but are not limited to, the following:
- set theory
- type theory
- process algebrae
- game theory
Innovative applications of such theories to the following and other related aspects of software engineering are highly solicited to IEEE TASE 2010.
- requirements engineering
- 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
- reverse engineering and software
- service-oriented computing
- semantic web and web services
- dependable concurrency
- program analysis
- software modeling
- software simulation
- software testing
- software model checking
We, the organizing team of IEEE TASE 2010, will make our best effort toward a high-quality technical program and enjoyable atmosphere. We cordially invite practitioners and researchers in software engineering to join IEEE TASE 2010 in Taipei.
All submissions should be in IEEE format and no more than 10 pages for regular papers and 4 pages for poster papers.
proceedings is expected to be published by IEEE.