软件形式化方法与应用专题前言

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	软件形式化方法与应用专题前言
	詹乃军 ; 王戟 ; 李宣东
刊名	软件学报
	2016
卷号	27 期号:3 页码:495-496
关键词	软件形式化方法应用专题前言
ISSN号	1000-9825
中文摘要	形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.
收录类别	CSCD
语种	中文
CSCD记录号	CSCD:5651130
公开日期	2016-12-09
内容类型	期刊论文
源URL	[http://ir.iscas.ac.cn/handle/311060/17370]
专题	软件研究所_软件所图书馆_期刊论文
推荐引用方式 GB/T 7714	詹乃军,王戟,李宣东. 软件形式化方法与应用专题前言[J]. 软件学报,2016,27(3):495-496.
APA	詹乃军,王戟,&李宣东.(2016).软件形式化方法与应用专题前言.软件学报,27(3),495-496.
MLA	詹乃军,et al."软件形式化方法与应用专题前言".软件学报 27.3(2016):495-496.