Formal method is a pivotal technology to copy with software crisis and to implement software automation. Andmore, algorithm designing is the soul of software designing.
形式化方法是克服“软件危机”,实现软件自动化的关键技术,算法设计的软件设计的灵魂。
参考来源 - 基于结构化自然语言的算法规约研究·2,447,543篇论文数据,部分数据来源于NoteExpress
This paper describes the design and implementation of an experimental software automation system NDAUTO.
本文介绍了实验性软件自动化系统NDAUTO的设计与实现。
Software automation is an effective way to improve the quality, reliability and productivity of software.
软件自动化是提高软件质量、可靠性与软件生产力的一种行之有效的方法和技术。
For these reasons, the software automation technology can make code much standard and improve software development.
基于以上原因,软件自动化技术可以使程序代码更加的标准化,并极大的提高软件开发效率。
应用推荐