formal derivation of two algorithms involving sequences
文献类型：会议论文
| 作者 | Shi Haihe ; Xue Jinyun |
| 出版日期 | 2011 |
| 会议名称 | 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011 |
| 会议日期 | May 16, 20 |
| 会议地点 | Sanya, Hainan Island, China |
| 关键词 | Algorithms Information science Problem solving Specifications |
| 页码 | 287-291 |
| 中文摘要 | Using formal method PAR, two algorithms involving sequences, a majority problem deterministic algorithmic solution and computing the mode, are derived. From formal functional specifications, problems are partitioned into sub-problems, problem solving recurrences are constructed through formal specification transformation, and then loop invariants are achieved naturally, the algorithms that can be further transformed into executable programs supported by PAR platform are obtained. Formal derivation using PAR makes the algorithm idea is exhibited naturally and clearly. © 2011 IEEE. |
| 英文摘要 | Using formal method PAR, two algorithms involving sequences, a majority problem deterministic algorithmic solution and computing the mode, are derived. From formal functional specifications, problems are partitioned into sub-problems, problem solving recurrences are constructed through formal specification transformation, and then loop invariants are achieved naturally, the algorithms that can be further transformed into executable programs supported by PAR platform are obtained. Formal derivation using PAR makes the algorithm idea is exhibited naturally and clearly. © 2011 IEEE. |
| 收录类别 | EI |
| 会议主办者 | IEEE Computer Society; Int. Assoc. Comput. Inf. Sci. (ACIS); Institute of Electrical and Electronics Engineers (IEEE); Hainan University |
| 会议录 | Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011
 |
| 语种 | 英语 |
| ISBN号 | 9780769544014 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16248]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Shi Haihe,Xue Jinyun. formal derivation of two algorithms involving sequences[C]. 见:2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011. Sanya, Hainan Island, China. May 16, 20. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。