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

IJCCMS   International Journal of Chaos, Control, Modelling and Simulation
AVC   Advances in Vision Computing: An International Journal
IJMPICT   International Journal of Managing Public Sector Information and Communication Technologies
IJITE   International Journal on Integrating Technology in Education