形式化方法在藏文软件开发中的应用研究 |
| |
作者单位: | ;1.甘肃民族师范学院计算机科学系 |
| |
摘 要: | 形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.
|
关 键 词: | 形式化方法 藏文软件 形式规约 形式化验证 |
Research on Application of Formal Methods in Tibetan Language of Software Development |
| |
Abstract: | |
| |
Keywords: | |
|
|