TTSS 2014 - The 7th International Workshop on Harnessing Theories for Tool Support in Software
Date2014-09-09 - 2014-09-11
Deadline2014-04-25
VenueBertinoro, Italy
Keywords
Websitehttps://ifm2014.cs.unibo.it
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 11th International Conference on Integrated Formal Methods
- 11th International Symposium on Formal Aspects of Component Software
- The Second Euroacademia International Conference ‘Identities and Identifications: Politicized Uses of Collective Identities’
- The 2014 International Workshop on Advanced Multimedia Computing
- The 6th FTRA International Symposium on Advances in Computing, Communications, Security, and Applications
Last modified: 2014-01-31 22:39:17