一种约束制导的软件编程辅助方法 | |
刘海文 ; 孟娜 ; 李进辉 ; 王千祥 | |
2008 | |
关键词 | 约束制导 约束描述 辅助工具 软件编程 |
英文摘要 | 软件的代码需要遵守各种各样的约束,这些约束有些是与业务逻辑无关的,有些是业务逻辑相关的。编程语言的BNF是最重要的业务逻辑无关的约束。除此之外,还有许多业务逻辑无关的约束,例如调用语句之间的先后顺序等。如果能将这些约束进行形式化的描述,再根据这种描述在程序编写过程中由已输入的代码推出后面输入的代码片段,就可以提高代码的编写速度与质量。为这类约束提出了一种描述方法,并实现了一个基于该方法的辅助编程工具,它能够依据约束规则对编码过程进行实时制导。; 0 |
语种 | 中文 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/280274] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 刘海文,孟娜,李进辉,等. 一种约束制导的软件编程辅助方法. 2008-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论