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

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

作　　者：马小龙[1] 

机构地区：[1]甘肃民族师范学院计算机科学系,甘肃合作747000

出　　处：《甘肃高师学报》2017年第3期28-30,共3页Journal of Gansu Normal Colleges

基　　金：2014年度甘肃省高等学校科研项目"形式化软件开发方法在藏文软件开发中的应用"(2014A-115)

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

关 键 词：形式化方法 藏文软件 形式规约 形式化验证 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]