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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
