藏文软件相关论文
从上世纪80、90年代起,藏语文信息处理工作取得突破性进展,藏文软件如藏文文字处理及激光编辑排版印刷系统等,得以开发、利用。21世纪......
翻译在民族文化发展过程中发挥着重要的作用,尤其是在信息化快速发展的今天。计算机名词术语的翻译在藏文软件的研究、开发及其推广......
形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式......