Research software from the integrated Formal Methods
摘要截稿:
全文截稿: 2024-04-01
影响因子: 0.775
期刊难度:
CCF分类: B类
中科院JCR分区:
• 大类 : 计算机科学 - 3区
• 小类 : 计算机:软件工程 - 3区
Overview
This special issue welcomes submissions of authors of research software that has been selected from the artifact evaluation at iFM 2023. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. Areas of interest include (but are not limited to):
------------
Manuscript submission information:
------------
• Submission open date: 1 December 2023
------------
• Final Manuscript Submission Deadline: 1 April 2024
------------
• Editorial Acceptance Deadline: 30 June 2024