posted by user: sierrauy || 2465 views || tracked by 6 users: [display]

TTSS 2010 : 4th International Workshop on Harnessing Theories for Tool Support in Software


When Oct 15, 2010 - Oct 15, 2010
Where Shanghai, China
Submission Deadline Sep 22, 2010
Notification Due Oct 1, 2010
Categories    models, calculi, and tools   component-based software   object-oriented software   model-driven development

Call For Papers

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

Selected papers of TTSS 2007-2010 will be invited to a special journal issue of "Innovations in Systems and Software Engineering" by Springer.
Important Dates
Submission deadline: 22. September 2010 (Wednesday, strict)
Notification of acceptance: 1. October
Workshop: 15. November 2010, ECNU, Shanghai, China

Past events: Macao, 2007, Turkey, 2008, Malaysia, 2009

Related Resources

ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
MODELSWARD 2023   11th International Conference on Model-Based Software and Systems Engineering
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
CESP 2022   2022 OkIP International Conference on Enterprise and Software Process
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)