会务组联系方式

 

 

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.  

 

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 –orientation 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