Introduction
The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of Things has brought to the fore new dimensions. These include quality of service, reconfiguration and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures.
FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to provide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.
The objective of FACS 2017 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications.
Call for paper
Important date
Submission Topics
The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Specific topics include, but are not limited to:
-
formal models for software components and their interaction
-
formal methods and modeling languages for components and services
-
formal aspects of services, service oriented architectures, SaaS, cloud computing, and business processes
-
model-based and GUI-based design, implementation, and test of components and services
-
composition and deployment: models, calculi, languages
-
component/service re-engineering and reuse
-
models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
-
formal models for component-based systems with variability
-
update and reconfiguration of component and service architectures
-
component systems evolution and maintenance
-
autonomic components & self-managed applications
-
formal and rigorous approaches to software adaptation and self-adaptive systems
-
industrial or experience reports, and case studies in component software
-
automated and tool-based approaches to facilitate the use of formal methods for components and services
-
modelling and verification of real-time, probabilistic, and/or hybrid component-based systems
-
components for real-time, safety-critical, secure, and/or embedded systems
-
components as enabling technology for the Internet of things and cyber-physical systems
All Comments
Important Date
-
Conference Date
Oct 10
2017
toOct 13
2017
-
May 19 2017
Abstract Submission Deadline
-
May 26 2017
Draft paper submission deadline
-
Oct 13 2017
Registration deadline
Contact Information
- José Proença and Markus Lumpe
- jo******@swin.edu.au
Previous Conferences
-
2016-10-19 France Besancon, France
International Conference on Formal Aspects of Component Software
Submit Comment