| 完善Jackson的设计方法 |
| |
| 引用本文： | 李毅.完善Jackson的设计方法[J].天津理工大学学报,2001,17(2):49-52. |
| |
| 作者姓名： | 李毅 |
| |
| 作者单位： | 天津理工学院计算机科学与工程系, |
| |
| 摘 要： | Jackson方法所得到的程序模块结构差，形式化描述能力弱.因此，结构性不理想，使得Jackson方法在使用中受到限制.本文提出一种方法.将数据结构按其性质划分成若干个数据结构，对每一个数据结构设计出相应的CSP，它们之间接口是CSP通讯.在设计每个CSP时给出所处理数据的属性文法的形式说明，其描述能力比Jackson的数据结构树更严格.由此形成说明导出相应的进程.所设计的方法实质上是融合了当前属性文法，模块程序设计以及Jackson方法，而获得一个更好、更为有力的程序设计方法.
|
| 关 键 词： | 数据结构 程序结构 Jackson方法 模块程序设计 属性方法 |
| 文章编号： | 1004-2261(2001)02-49-04 |
| 修稿时间： | 2001年3月6日 |
Improving on Jackson design methodology |
| |
| LI Yi.Improving on Jackson design methodology[J].Journal of Tianjin University of Technology,2001,17(2):49-52. |
| |
| Authors: | LI Yi |
| |
| Abstract: | |
| |
| Keywords: | data structure program structure Jackson method module program design attribution method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
