Special Issue: Harnessing theories for tool support in software

Volker Stolz
2012 Innovations in Systems and Software Engineering  
This issue contains selected contributions from the International Workshop on Harnessing Theories for Tool Support in Software (TTSS) series. Based on their past contributions, participants were invited to submit extended versions of their research. The workshop brings together practitioners and researchers from academia and industry 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
more » ... tionality, interaction, concurrency, scheduling, and non-functional requirements. -How to insure 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 that report about harnessing static analysis tools such as model checking, theorem proving, testing, and runtime monitoring.
doi:10.1007/s11334-012-0193-4 fatcat:c5nx6lohbvdthkddmeldr55c6m