1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS’07) 22-23 September 2007, Macau, China http://www.iist.unu.edu/ttss07 Co-located with ICTAC 2007

The aim of the workshop is to bring together practitioners and
researchers from academia, industry and government to present and discuss ideas about:
a) How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, and extra-functionality, and
b) How to ensure correctness and dependability of software using formal methods and tools of modeling, design, verification and validation into design and development processes and environments

The workshop will provide enough time for discussion on problems and research. Each presentation will be 25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas:

• Mathematical frameworks, methods and tools for model-driven
development
• Models, calculus and tool support for component-based and
object-oriented software
• rCOS and relational mathematical frameworks of object and
component systems and their tool support


PAPER SUBMISSION
TTSS invites authors to submit original and unpublished work. Submissions should include an abstract, key words, the e-mail address of the corresponding author, and must not exceed 15 pages using ENTCS style. The submission website is http://www.easychair.org/TTSS07

PROCEEDINGS
We are talking to ENTCS about the publication of the proceedings, and
will consider the publication of a special issue of a journal for selected papers.

IMPORTANT DATES
• Submission deadline: 15 July, 2007
• Notification of acceptance: 15 August 2007
• Final manuscript due: 1 September 2007 Organized and supported by ECNU
and UNU-IIST



Program Chairs
Geguang Pu ECNU, China
Volker Stolz, UNU-IIST, Macau, China

Local Organization Chair
Volker Stolz, UNU-IIST, Macau, China

Program Committee Members
Farhad Arbab, CWI, The Netherlands
Luis Barbosa, Universidade do Minho, Portugal
James C. Browne, UT Austin, US
Kung-Kiu Lau, Manchester University, UK
Jin Liu, ECNU, China
Xiaoshan Li, Macau University, China
Markus Lumpe, Iowa State University, USA
Zongyan Qiu, Peking University, China
Anders P. Ravn, Aalborg University, Denmark
Abhik Roychoudhury, NUS, Singapore
Bernhard Schätz, TU Munich, Germany
Heinrich Schmidt, RMIT University, Australia
Meng Sun, CWI, The Netherlands
Petr Tuma, Charles University, Czech Republic
R. Venkatesh, TATA, India
Xu Wang, UNU-IIST, Macau, China
Ji Wang, NLPDP, China
Naijun Zhan, CAS, China
Jianhua Zhao, Naijin University, China
Gianluigi Zavattaro, University of Bologna, Italy

Advisors
Patrick Cousot, ENS, France
Jifeng He, ECNU, China
Mathai Joseph, TATA, India
Zhiming Liu, UNU-IIST, Macau, China
Bertrand Meyer, ETH, Switzerland
Jim Woodcock, University of York, UK