机构

• 软件研究所 [10]

采集方式

• OAI收割 [10]

内容类型

• 会议论文 [10]

发表日期

• 2011 [2]
• 2010 [2]
• 2009 [1]
• 2008 [2]
• 2007 [3]

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 formal derivation of two algorithms involving sequences 会议论文  OAI收割 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20 Shi Haihe; Xue Jinyun   |  收藏  |   a generative approach to searching algorithmic programs development 会议论文  OAI收割 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, Shi Haihe; Xue Jinyun   |  收藏  |   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |   an algebraic approach to mechanical tabu search algorithm generation 会议论文  OAI收割 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun   |  收藏  |   a category theoretic approach to search algorithms: towards a unified implementation for branch-and-bound and backtracking 会议论文  OAI收割 4th International Conference on Computer Science and Education, Nanning, PEOPLES R CHINA, JUL 25-28, Zheng Yujun; Xue Jinyun; Shi Haihe   |  收藏  |   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   |  收藏  |   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   |  收藏  |   formal programming for the shortest path and its critical edge problems 会议论文  OAI收割 2007 IEEE International Conference on Automation and Logistics, ICAL 2007, Jinan, China, August 18, Zheng Yujun; Xue Jinyun; Shi Haihe   |  收藏  |   from mathematics to software engineering: introducing category theory into the computer science curriculum 会议论文  OAI收割 7th International Conference on Computational Science (ICCS 2007), Beijing, PEOPLES R CHINA, MAY 27-30, Zheng Yujun; Shi Haihe; Xue Jinyun   |  收藏  |   towards semi-automatic generation of provably correct algorithmic programs 会议论文  OAI收割 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks, Qungdao, PEOPLES R CHINA, JUL 30-AUG Shi Haihe; Xue Jinyun   |  收藏  |