中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
软件形式化方法与应用专题前言
Author: 詹乃军 ; 王戟 ; 李宣东
Keyword: 软件形式化方法 ; 应用专题 ; 前言
Source: 软件学报
Issued Date: 2016
Volume: 27, Issue:3, Pages:495-496
Indexed Type: CSCD
Department: 詹乃军, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;王戟, 国防科学技术大学计算机学院, 长沙, 湖南 410073, 中国;李宣东, 南京大学, 计算机软件新技术国家重点实验室, 南京, 江苏 210023, 中国;
Abstract: 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计 、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域 的部分研究成果.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/17370
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
詹乃军,王戟,李宣东. 软件形式化方法与应用专题前言[J]. 软件学报,2016-01-01,27(3):495-496.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[詹乃军]'s Articles
[王戟]'s Articles
[李宣东]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[詹乃军]‘s Articles
[王戟]‘s Articles
[李宣东]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace