posted by user: kotodama || 2686 views || tracked by 7 users: [display]

TTSS 2011 : 5th International Workshop on Harnessing Theories for Tool Support in Software


When Sep 13, 2011 - Sep 13, 2011
Where Oslo, Norway
Submission Deadline Jun 22, 2011
Notification Due Aug 9, 2011
Categories    formal method   tool support   software engineering

Call For 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 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

Pre-proceedings will be published as a technical report in the UIO report series. A special issue consisting of extended versions of selected papers from TTSS 2011 is intended to be published in the Elsevier journal Science of Computer Programming. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by the international program committee of TTSS'11, which will decide on their suitability for final publication in the special issue.

Related Resources

ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
KES 2020   Classification, forecasting and decision support - invited session at KES2020
JSE 2020   9th International Conference on Software Engineering and Applications
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
IJNGN 2020   International Journal of Next - Generation Networks
EDLTMBE 2020   Emerging Deep Learning Theories and Methods for Biomedical Engineering - IEEE Access (IF: 4.098)