机构

• 软件研究所 [10]
• 计算技术研究所 [3]

采集方式

• OAI收割 [13]

内容类型

• 期刊论文 [7]
• 学位论文 [6]

发表日期

• 2016 [2]
• 2014 [2]
• 2013 [2]
• 2012 [1]
• 2005 [1]
• 2004 [2]
• 更多

学科主题

• 计算机科学技术基础学... [1]
• 计算机软件 [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 支持约束目标最优化的社会网络关键群体挖掘方法研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2016 谢淼   |  收藏  |  浏览/下载：18/0  |  提交时间：2016/05/30 社会网络分析与挖掘  影响力传播模型  软件工程与知识工程  众测  图模式匹配  模型检测  分布式计算   面向服务的物联网软件体系结构设计与模型检测 期刊论文  OAI收割 计算机学报, 2016, 卷号: 39.0, 期号: 005, 页码: 853 作者:  陈海明;  崔莉   |  收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 物联网  面向服务  软件体系结构  参考模型  模型检测   基于锁信息的多线程软件原子性错误检测方法 期刊论文  OAI收割 计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94 王云飞; 刘剑; 马越   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 多线程软件  原子性错误  锁信息  模型检测  动态优化  Multi-threaded program  Atomicity violation  Lock information  Model checking  Dynamic optimisation   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   基于 Verds 的C程序模型检测方法的研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 张广亮   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/05/31 软件模型检测  ANSI-C  Verds  模块化检测   基于锁信息的多线程软件原子性错误检测方法 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 王云飞   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/05/31 多线程软件 原子性错误 锁信息 模型检测 动态优化   多线程二进制程序的原子性错误检测 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 李潇   |  收藏  |  浏览/下载：20/0  |  提交时间：2012/06/18 并发程序  原子性错误  模型检测  软件测试   UML的形式化及其应用 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 UML  形式化  形式化  设计错误  数表  框架  检测  优化建议  优化方案  设计模型  软件设计  进化过程  基础  状态图  序列图  应用  人员  理论  度量   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 模型检测  并发系统  软件可靠性  SPIN/Promela  形式化验证  并发系统  逻辑一致性  计算机科学  安全性分析  验证技术  验证工具  研究领域  数据结构  软件系统  建模语言  基本算法  工作机理  分析验证  运用  应用  通道  输出  设计  模型   一个以活动为中心的软件过程建模工具的设计与实现 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 田浩 收藏  |  浏览/下载：18/0  |  提交时间：2011/03/17 软件过程  软件过程建模  软件过程模型  UML活动图  合理性检测  DOWSON框架