一种约束制导的软件编程辅助方法
软件的代码需要遵守各种各样的约束，这些约束有些是与业务逻辑无关的,有些是业务逻辑相关的。编程语言的BNF是最重要的业务逻辑无关的约束。除此之外,还有许多业务逻辑无关的约束,例如调用语句之间的先后顺序等。如果能将这些约束进行形式化的描述,再根据这种描述在程序编写过程中由已输入的代码推出后面输入的代码片段,就可以提高代码的编写速度与质量。为这类约束提出了一种描述方法,并实现了一个基于该方法的辅助编程工具,它能够依据约束规则对编码过程进行实时制导。
约束制导 约束描述 辅助工具 软件编程
刘海文 孟娜 李进辉 王千祥
北京大学信息科学技术学院软件研究所 北京 100871 高可信软件技术教育部重点实验室
国内会议
广州
中文
517-520,571
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）