Objectives<br>The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large–scale artifacts like cyber–physical systems, networks of things, enterprise systems, or cloud–based services. Contributions relating to formal methods or integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome. SETTA 2017 is planning to organize a special thematic section, namely Dependability of Smart Cyber–Physical Systems.<br>Topics of interest include, but are not limited to:<br>. Requirements specification and analysis<br>. Formalisms for modeling, design and implementation<br>. Model checking, theorem proving, and decision procedures<br>. Scalable approaches to formal system analysis<br>. Formal approaches to simulation and testing<br>. Integration of formal methods into software engineering practice<br>. Contract–based engineering of components, systems, and systems of systems<br>. Formal and engineering aspects of software evolution and maintenance<br>. Parallel and multi–core programming<br>. Embedded, real–time, hybrid, and cyber–physical systems<br>. Mixed–critical applications and systems<br>. Formal aspects of service–oriented and cloud computing<br>. Safety, security, reliability, robustness, and fault–tolerance<br>. Dependability of smart software and systems<br>. Empirical analysis techniques and integration with formal methods<br>. Applications and industrial experience reports<br>. Tool integration<br>
Abbrevation
SETTA
City
Changsha
Country
China
Deadline Paper
Start Date
End Date
Abstract