12th International Conference on Formal Aspects of Component Software (FACS 2015)

Oct 14-16, 2015

Rio de Janeiro

Call For Papers

FACS 2015 is concerned with how formal methods can be used to make  component-based development fit for the new architectures and  the systems that now pervade the world. 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. 

Topics

• formal models for software components and their interaction;
• formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, 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;
• model-based and GUI-based testing of 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;
• probabilistic techniques for modeling and verification;
• case studies and experience reports;
• update and reconfiguration of component and service architectures;
• formal and rigorous approaches to software adaptation and self-adaptive systems;
• tools supporting formal methods for components and services.

 

IMPORTANT DATES

Paper submission:Jun 28, 2015

                       

Notification of acceptance: Aug 28, 2015

           

Final manuscripts due: Sep 20, 2015

                       

Conference dates: Oct 14-16, 2015

User Name : MANI
Posted on

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
SPM 2026   13th International Conference on Signal, Image Processing and Multimedia (SPM 2026)
NLPD 2026   7th International Conference on NLP & Big Data
AdNLP 2026   7th International conference on Advanced Natural Language Processing