2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE2008)

Venue: Nanjing

Location: Nanjing, Jiangsu, China

Event Date/Time: Nov 20, 2007
Abstract Submission Date: Jan 21, 2008
Paper Submission Date: Jan 28, 2008
Report as Spam


Large scale software systems and Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering.

TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007.

Topics of Interest:

Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Validation
* Software Testing
* Component-based Development
* Model Checking for Software
* Software Processes and Workflows
* Software Frameworks and Middleware
* Software Architectures and Design
* Software safety and reliability
* Reverse Engineering and Software Maintenance
* Aspect and Objected ¨Corientation Techniques
* Embedded and Real-time Software
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction
* Parallel and Distributed Computing
* Logics of Programs
* Program Analysis
* Semantics and Design of Programming Languages
* Type Theory

Submission Guidelines:

Authors should submit and register their paper through our web-interface at:
http://seg.nju.edu.cn/tase08/submit by January 28, 2008.
Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded from the website at

Important Dates:

* January 21, 2008: Title and abstract submission deadline
* January 28, 2008: Paper submission deadline
* March 10, 2008: Acceptance/rejection notification
* March 23, 2008: Camera-ready version due
* June 17-19, 2008: TASE 2008