posted by user: vslatten || 2246 views || tracked by 3 users: [display]

FACS 2010 : 7th International Workshop on Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle


Conference Series : Formal Aspects of Component Software
 
Link: http://www.iist.unu.edu/facs10/
 
When Oct 14, 2010 - Oct 16, 2010
Where Guimarães, Portugal
Abstract Registration Due Jul 2, 2010
Submission Deadline Jul 9, 2010
Notification Due Aug 22, 2010
Final Version Due Sep 25, 2010
 

Call For Papers

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.

FACS 2010 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematically-based techniques for the specification, development, and verification of software and hardware systems. They have shown their great utility for providing the formal foundations of component-based software and working out challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

The objective of FACS 2010 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. The workshop seeks to address all common aspects of component software and formal methods. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Possible topics include, but are not limited to:

* formal models for software components and component interaction
* design and verification methods for component software
* component composition and deployment: models, calculi, languages
* component testing, re-engineering and reuse
* specification of extra-functional properties in component software
* certification of components and software architectures
* component software vs. object orientation, multi-agent systems, and aspect-oriented development
* components for real-time, safety-critical, secure and/or embedded systems
* standard models for software components (e.g. Fractal, GCM, etc.)
* industrial or experience reports, and case studies in component software
* partial behavior models for software components
* update and reconfiguration of component architectures
* component systems evolution and maintenance
* formal methods and modeling languages for components
* trust models for components
* cyber-physical component-based systems
* autonomic components and self-managed applications
* formal and rigorous approaches to software adaptation and self-adaptive systems
* formal aspects of Web services and business processes
* component-based Web services and service-oriented architectures
* QoS issues in Web services, multi-agent systems and component-based systems

Related Resources

AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICAASE 2020   The 4th International Conference on Advanced Aspects of Software Engineering
ISSTA 2021   International Symposium on Software Testing and Analysis
FM 2021   Formal Methods 2021
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ICSESS 2021   2021 12th International Conference on Software Engineering and Service Science