机构

• 软件研究所 [18]

采集方式

• OAI收割 [18]

内容类型

• 会议论文 [11]
• 期刊论文 [7]

发表日期

• 2014 [1]
• 2010 [2]
• 2008 [3]
• 2006 [7]
• 2005 [1]
• 2002 [2]
• 更多

学科主题

• Artificial... [3]
• Computer S... [3]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：32/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   knowledge-theoretic approach to formal verification of web services protocols 会议论文  OAI收割 2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453 Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/03/31 Formal methods  Network security  Specification languages  Specifications  Web services   quantitative analysis of requirements evolution across multiple versions of an industrial software product 会议论文  OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850 Hailong Wang; Juan Li; Qing Wang; Ye Yang   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/31 defect estimation  industrial software product  quantitative analysis  requirements evolution  software engineering  software organization  formal specification  formal verification  software houses  software metrics  systems analysis   generating algorithms plus loop invariants by formal derivation 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/13 MergeSort algorithm  formal development process  formal specification  insertion sort  loop invariant  nonrecursive algorithmic solution  provably correct algorithmic program  program control structures  program verification  sorting   a mechanical approach for deriving algorithmic programs 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/06/13 MPAR  algorithm correctness  automatic algorithm design  executable language program  formal algorithm program derivation  mechanical partition-and-recur approach  problem specification  software reliability  formal specification  program verification  software rel   basic research in computer science and software engineering at sklcs 期刊论文  OAI收割 Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 1, 页码: 1-11 Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/07/23 concurrency theory  real-time system  automated reasoning  formal specification  parallel algorithms  software process  middleware  computer graphics  human-computer interaction   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/28 automation level  automation tasks  entity relationship model  model driven development  model driven software development  model transformations  Unified Modeling Language  entity-relationship modelling  formal specification   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/07/28 automation level  automation tasks  entity relationship model  model driven development  model driven software development  model transformations  Unified Modeling Language  entity-relationship modelling  formal specification   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/22 Formal specification language  Context-free language  Recursive function  Specification acquisition  Specification validation