The aim of the symposium is to bring together international researchers and practitioners in the field of formal software engineering methods. Its focus is on clarifying the relation between 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 formal methods to new design goals are especially welcome.<br>Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain.<br>Topics of interest include, but are not limited to:<br>* Formal aspects of engineering approaches to software and system quality<br>* Integration of formal methods into software engineering practice<br>* Requirements analysis, specification and design<br>* Formal methods for embedded, real–time, hybrid, and cyber–physical systems<br>* Formal methods for service–oriented and cloud computing<br>* Formal aspects of security and mobility<br>* Formal aspects of safety, reliability, robustness, and fault–tolerance<br>* Model checking, theorem proving, and decision procedures<br>* Integration of empirical analysis techniques with formal methods<br>* Contract–based engineering of components, systems, and systems of systems<br>* Formal and engineering aspects of software evolution and maintenance<br>* Scalable approaches to formal system analysis and design<br>* Tool integration<br>* Applications of formal methods and industrial experience reports<br>
Abbrevation
SETTA
City
Nanjing
Country
China
Deadline Paper
Start Date
End Date
Abstract