Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
TTSS 2013 - The 6th International Workshop on Harnessing Theories for Tool Support in Software
Topics/Call fo Papers
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 nonfunctional 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.
? 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 nonfunctional 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.
Other CFPs
- The 10th International Symposium on Formal Aspects of Component Software
- 31st IEEE International Conference on Computer Design
- MOTS 2013 Innovation and Experimental Music and the South: Music of the South Conference
- 8th International Conference on Knowledge, Information, and Creativity Support Systems
- Fourth Conference on Applied, Computational and Industrial Mathematics (IV MACI 2013)
Last modified: 2012-12-01 22:28:35