软件学报

９６８５７Ｘ

２０１０

．

．００６

《软件学报》形式化方法和工具专刊征文通知

形式化方法是指有严格数学基础的软件和系统开发方法，可支持计算机系统及软件的规

约、设计、验证与演化等活动。随着高可信软件的兴起，形式化方法的关注度日益提高。其

作用不仅体现在人们对计算系统规律认识的深入，更体现在对计算系统开发、运行和演化的

工具与平台构建的基础性支持。近年来，形式化方法也在向生物科学、物理科学等领域交叉

渗透。 ．

本专刊将收录国内外形式化方法与工具研究领域中具有创新性、突破性的高水平研究成

果，并探讨其在中国软件产业中的应用。专刊将于２０１１年第２期出版，读者群体包括形式化方

法与工具、软件工程、计算机系统工程及其相关学科交叉领域的研究人员和工程人员等。

专刊题目：形式化方法和工具

特约编辑：王戟（国防科学技术大学）、李宣东（南京大学）

截稿日期：２０１０年７月１０日

详细征文通知已发布在我刊网站上：ｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ，欢迎作者踊跃投稿。

软件学报

Ｒｕａｎｊ ｉａｎ Ｘｕｅｂａｏ

（月刊，１９９０年创刊）

第２１卷第６期 ２０１０年６月

Ｊｏｕｒｎａｌ ｏｆ Ｓｏｆｔｗａｒｅ

（ｍｏｎｔｈｌｙ）

（Ｓｔａｒｔｅｄ ｉｎ １ ９９０）

Ｖ＿０１．２１ Ｎｏ．６ Ｊｕｎ．２０１０

编 辑

主 编

主办单位

主管单位

出 版

印 刷

总发行处

订购处

国外总发行

李明树 Ｓｐｏｎｓｏｒｅｄ ｂｙ Ｉｎｓｔｉｔｕｔｅ ｏｆ Ｓｏｆｔｗａｒｅ，Ｔｈｅ Ｃｈｉｎｅｓｅ Ａｃａｄｅｍｙ ｏｆ

！ 掌 究所中国计算机学会 ；： ‘ ｓ 卸¨ｍ柏∞ 把 中国科学院 ………“

柳 ・廖 Ｐｕｂｈｓｈｅｄ ｂｙ ｅＢ （１１００７６ Ｄｌ７＇ｏｎ盘黹ｃｈ ｇ鐾 Ｎ０ｎｈ

∞ ＂） 晰

ｅｄｂｙ Ｂｅｊｉｊｉｎｇ Ｂｅｉ Ｌｉｎ ｉｎｇ Ｈｏｕｓｅ北京北林印刷厂 Ｐｎｎ 。ｄ ｙ Ｂ。 ｒｎｎ ｍ Ｈ。 。

巷 垄 局 ｎｅ ｙ Ｄｉ 订ｂｕ把ｄ ｂｙ ｂｕ蛀ｏｎ ｏｆ

全国童 璺 … Ｄｉ ｔｍ ｔ。 ｌ１ ：ｌ ｔｏｍ ｉ ｃｈｉ，４－． Ｉ￣Ｉ国际图书贸易总公司ＤｏｍｅｓｔｉｃａｌｌｙＤ ｍ 。ｄｂｙＡ¨Ｌ。 。 Ｐ。 ０ｍ。。 ｍ ｃ ｎａ

９９信箱邮编１ｏ００４４） ｏｖ 硒尝 ｂ（ｙ№ＣｈＢ０ｘｉｎａ ３Ｉ ９９＇ｎｔｅｒ ｎａｔｉｏｎｇａ １

ＩＳＳＮ １０００—９８２５

ＣＮ ｌ１－２５６０／ＴＰ 善 萎 蚴…ｓｃ吲版权 定价：３６．００元

公开发行