The 4th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2020) is co-located with the 14th European Conference on Software Architecture (ECSA 2020).
September 14, 2020 L'Aquila, Italy
Although significant breakthroughs, formal methods are not widely employed in the design, validation and verification of software systems. Nevertheless, the development of advanced computing systems requires sensible architectural design exploiting integration of heterogeneous formal/semi-formal description languages, patterns, and then quantitative quality assessment of architectures. We believe that a tighter integration of formal methods in software architecture can help increase the quality of software applications delivered everyday to an unprecedented amount of end-users.
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, and to foster cooperation between them. We encourage researchers and practitioners to share novel ideas, methods, techniques, and tools, that seek significant achievements in improving the quality of software systems.
The main goal of the workshop is to foster integration between the formal methods and the software architecture communities.