机构

• 软件研究所 [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   |  收藏  |  浏览/下载：24/0  |  提交时间：2013/10/08 Algorithms  Information science  Problem solving  Specifications   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   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Productivity  Software engineering   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/31 Algorithmic languages  Computer programming  Computer software selection and evaluation   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   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/03/31 Algebra  Automatic programming  Combinatorial optimization  Information science  Learning algorithms  Machinery  Specifications   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   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/03/20 Category theory  PAR  Colimit  Branch-and-Bound  Backtracking   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   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   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/06/29 Algorithms  Computer programming  Problem solving  Trees (mathematics)   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   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/06/29 Computer programming languages  Curricula  Teaching   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   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/06/29 High level languages  Invariance  Logic programming  Mathematical models  Systems analysis