You are here: Home / CFP Folder / January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)

January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)

The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012) 4-6 July 2012, Beijing, China http://selab.bjut.edu.cn/tase2012
When Jan 20, 2012
from 12:00 AM to 11:55 PM
Where Beijing, China
Add event to calendar vCal
iCal
TASE 2012 - PRELIMINARY CALL FOR PAPERS



***********************************************************

The Sixth IEEE International Symposium on

Theoretical Aspects of Software Engineering

(TASE 2012)

4-6 July 2012, Beijing, China

http://selab.bjut.edu.cn/tase2012

For more information email: tase2012@bjut.edu.cn

***********************************************************



Large scale software systems and the 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 and object-orientation
techniques.

As a result, new concepts and methodologies are required to enhance the
development

of software engineering from theoretical aspects. TASE 2012 is a forum for
researchers

from academia, industry and government to present ideas, results, and
ongoing research

on theoretical advances in software engineering.



TASE 2012 is the sixth in a series of symposiums, sponsored by IEEE CS and
IFIP.

The first TASE symposium was held in Shanghai, China, in June 2007. The
second

TASE symposium was held in Nanjing, China, in June 2008. The third TASE
symposium

was held in Tianjin, China, in July 2009. The fourth TASE symposium was held
in Taipei,

in August 2010, and the fifth TASE symposium was held in Xi'an, China, in
August 2011.



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 Verification

* Program Analysis

* Software Testing

* Model-Driven Engineering

* Software Architectures and Design

* 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

* Service-Oriented Computing

* Semantic Web and Web Services

* Type System and Theory

* Program Logics and Calculus

* Dependable Concurrency

* Software Model Checking

* Probability and Randomization



The proceedings will be published by IEEE Computer Society Press. It is
envisaged to invite

the best tool-related contributions to a Special Section of STTT, Springer
Verlag's Intern.

Journal on Software Tools for Technology Transfer.



General Co-Chairs:

Jifeng He (East China Normal University, China)

Baocai Yin (Beijing University of Technology, China)

Program Co-Chairs:

Tiziana Margaria (University Potsdam, Germany)

Zongyan Qiu (Peking University, China)

Hongli Yang (Beijing University of Technology, China)



Organizing Chair:

Husheng Liao (Beijing University of Technology, China)



Local Arrangement Chair:

Dan Wang (Beijing University of Technology, China)



Important Dates:

January 13, 2012: Title and abstract submission deadline

January 20, 2012: Paper submission deadline

March 23, 2012: Acceptance/rejection notification

April 13, 2012: Camera-ready version due

July 4-6, 2012: TASE 2012

Document Actions

Filed under: ,
Navigation
November 2021 »
November
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930