形式化方法在藏文软件开发中的应用研究

Research on Application of Formal Methods in Tibetan Language of Software Development

形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.

Formalization method helps to find the inconsistence, uncertainty and incompleteness in system description that is not easy to be find by other methods, and to increase software developers＇ understanding of system. Software developed by using the formal method has high reliability and validity, and makes the system have a good structure that makes it easier to maintain and better meets users＇ needs. This paper mainly studies the key issues and implementation plans needed to consider when we develop Tibetan software by using formal method, and the role the formal method plays on improving the security and reliability of Tibetan software system.