15th International Conference on Formal Aspects of Component Software, Pohang, Nordkorea

Abbrevation

FACS

Link

http://sevlab.postech.ac.kr/facs18/

City

Pohang

Country

North Korea

Deadline Paper

2018-06-15

Start Date

2018-10-10

End Date

2018-10-12

Abstract

Component–based software development proposes sound engineering principles and techniques to cope with the complexity of present–day software systems. However, many challenging conceptual and technological issues remain in component–based software development theory and practice. Furthermore, the advent of service–oriented and cloud computing, cyber–physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2018 is concerned with how formal methods can be applied to component–based software and system development. Formal methods have provided foundations for component–based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service–oriented architectures, business processes, cloud computing, cyber–physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * models for QoS and other extra–functional properties (e.g., trust, compliance, security) of components and services; * components for real–time, safety–critical, secure, and/or embedded systems; * components for the Internet of things and cyber–physical systems; * probabilistic techniques for modeling and verification of component–based systems; * model–based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services.