会议名称(中文)： 第六届IPM软件工程基本原理国际会议
会议名称(英文)： 6th IPM International Conference on Fundamentals of Software Engineering
所属学科： 计算机软件,计算机应用技术
开始日期： 2015-04-22
结束日期： 2015-04-24
所在国家： 伊朗
所在城市： 伊朗
具体地点： Tehran, Iran
主办单位： 国际信息处理联合会
[ 重要日期 ]
摘要截稿日期： 2014-10-24
全文截稿日期： 2014-10-31
会议背景介绍：
FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 22-24, 2015.
征文范围及要求：
The topics of this conference include, but are not restricted to, the following:
Models of programs and software systems
Software specification, validation, and verification
Software testing
Software architectures and their description languages
Object and multi-agent systems
Coordination and feature interaction
Integration of formal and informal methods
Integration of different formal methods
Component-based and Service-oriented software systems
Self-adaptive software systems
Model checking and theorem proving
Software and hardware verification
CASE tools and tool integration
Industrial Applications |
