机构

• 软件研究所 [11]
• 计算技术研究所 [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [11]
• 学位论文 [1]

发表日期

• 2016 [1]
• 2014 [1]
• 2013 [1]
• 2011 [1]
• 2007 [2]
• 2006 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 软件形式化方法与应用专题前言 期刊论文  OAI收割 软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496 詹乃军; 王戟; 李宣东   |  收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09 软件形式化方法  应用专题  前言   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   基于问题模式的形式化软件规格说明生成方法 期刊论文  OAI收割 计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 形式化软件规格说明  生成方法  问题模式  模型精化演算  算法程序   一种形式化的组件化软件过程建模方法 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 软件过程  过程建模  过程重用  过程组件  形式化方法   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   算法程序变换研究与进展 期刊论文  OAI收割 计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/01 算法程序变换  自动化  形式化方法  算法设计  算法程序  程序变换  软件自动化  程序开发  设计方法学  程序的可靠性  支撑工具  研究方向  相关概念  适用领域  生产效率  设计能力  科学领域  计算机  语言  课题  分类   使用SPEC#开发高可靠性的算法程序 期刊论文  OAI收割 计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13 SPEC#  形式化方法  算法程序  契约  开发  高可靠性  软件自动化  对象不变式  契约机制  可维护性  基本特性  后置条件  程序规约  形式化  可读性  语言  前置  描述   形式化方法B及其程序规约机理 期刊论文  OAI收割 计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50 肖美华; 薛锦云   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 形式化方法B  程序规约  抽象机  程序设计  形式化方法  程序规约  机理  软件自动化  软件可靠性  生产效率  开发软件  抽象机  运用  历史  革命   一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 软件体系结构  构件  形式化描述  求精  XYZ/E  基于构件  软件体系结构  方法及  应用  求精方法  形式化描述  时序逻辑语言  研究领域  描述语言  开发实例  基于行为  工程学科  风格   高可靠软件研究:向信息技术的未来投资 期刊论文  OAI收割 中国科学院院刊, 2002, 卷号: 17, 期号: 6 林惠民   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/08/24 信息技术  高可靠软件  测试  形式化方法