机构名称：
¥ 36.0
本卷包含在 2010 年 6 月 28-30 日于法国巴黎举行的面向对象软件形式化验证国际会议 (FoVeOOS 2010) 上发表的受邀论文、研究论文、系统描述、案例研究和立场文件。会后，选定论文的修订版将在 Springer 的计算机科学讲义系列中出版。形式化软件验证已经超出了学术案例研究的范畴，工业界也对此表现出浓厚的兴趣。下一个合乎逻辑的目标是工业软件产品的验证。工业实践中使用的大多数编程语言都是面向对象的，例如 Java、C++ 或 C#。FoVeOOS 2010 旨在促进该领域研究人员之间的合作与互动。FoVeOOS 由 COST Action IC0701 ( www.cost-ic0701.org ) 组织，但它超出了该行动的框架。会议向整个科学界开放。所有提交的论文都经过同行评审，在 35 篇提交的论文中，程序委员会选择了 23 篇在会议上展示。我们衷心感谢所有提交作品供审议的作者。我们还要感谢程序委员会成员以及其他审阅者在审查和选择过程中付出的巨大努力和专业工作。他们的名字列在以下页面中。除了贡献的论文外，F
面向对象软件的形式化验证 2010 - KIT
主要关键词
相关文件推荐
