Selected papers from the 19th International Conference on Formal Aspects of Component Software
摘要截稿:
全文截稿: 2024-04-15
影响因子: 0.775
期刊难度:
CCF分类: B类
中科院JCR分区:
• 大类 : 计算机科学 - 3区
• 小类 : 计算机:软件工程 - 3区
Overview
The special issue will contain revised and extended versions of select papers published in the proceedings of the 19th International Conference on Formal Aspects of Component Software (FACS 2023). FACS 2023 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.
------------
Guest editors:
------------
------------
Dr. Sung-Shik Jongmans, Assistant Professor
------------
Open University, Heerlen, the NetherlandsCentrum Wiskunde & Informatica, Amsterdam, the NetherlandsAreas of Expertise: Formal Methods, Programming Languages, Concurrency, Coordination
------------
------------
------------
Dr. Javier Cámara, Associate ProfessorITIS Software - University of Málaga, Málaga (Spain)Areas of Expertise: Software Engineering, Formal Methods, Self-adaptive Systems, Software Architecture