4th International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'10
15. November 2010,
East China Normal University
Satellite event of
ICFEM 2010
TTSS'10—Call for Papers
Conference Topics
The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about:
- How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements, and
- How to ensure correctness and dependability of software by integrating formal methods and tools for modeling, design, verification and validation into design and development processes and environments.
- Case studies and experience reports about harnessing static analysis tools such as model checking, theorem proving, testing, as well as runtime monitoring.
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:
- Models, calculi, and tool support for component-based and object-oriented software;
- Mathematical frameworks, methods and tools for model-driven development;
- Models, calculi, and tool support for integrating different scheduling, interaction and concurrency models in highly adaptable systems
Important Dates
| Submission deadline: | 22. September 2010 (Wednesday, strict) |
| Notification of acceptance: | |
| Workshop: | 15. November 2010, ECNU, Shanghai, China |
News
- Registration
- List of accepted papers
- Past events: Macao, 2007, Turkey, 2008, Malaysia, 2009