| 形式化方法和对象技术的结合途径研究 |
| |
| 引用本文： | 杨杰,郑明春.形式化方法和对象技术的结合途径研究[J].山东师范大学学报(自然科学版),2000,15(2):138-142. |
| |
| 作者姓名： | 杨杰 郑明春 |
| |
| 作者单位： | 1. 山东师范大学数学系,250014,济南
2. 山东师范大学计算机科学系,250014,济南 |
| |
| 基金项目： | 山东省自然科学基金资助项目 |
| |
| 摘 要： | 本文首先给出形式化方法概述，并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后，重点讨论形式化方法与面向对象技术的结合。
|
| 关 键 词： | 形式化方法 软件开发 形式规约语言 面向对象 |
A SURVEY OF FORMAL SOFTWARE DEVELOPMENT METHODS |
| |
| Yang Jie,Zheng Mingchun.A SURVEY OF FORMAL SOFTWARE DEVELOPMENT METHODS[J].Journal of Shandong Normal University(Natural Science),2000,15(2):138-142. |
| |
| Authors: | Yang Jie Zheng Mingchun |
| |
| Institution: | Yang Jie
;((Department of Mathematics,Shandong Normal University,250014,Jinan,P R C));Zheng Mingchun
;((Department of Computer Science,Shandong Nornml University,250014 ,Jitum,P R C )) |
| |
| Abstract: | It is recognized as a good approach for high-quality and good-reliability software to employ formal software development methods.However,there are still many obstacles when using the methods.Firstly, the fundamental concepts of formal methods are given,and then,two typical formal specifications laguages,Z and Larch,are introduced.Finally,the techniques on integration formal methods with object-oriented methods are discussed. |
| |
| Keywords: | formal method software development formal specification language objectorientation Z larch |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
