UML模型图相关论文
软件测试是为了发现程序中的错误而执行程序的过程，是目前保障软件质量最主要和最有效的方法，因此改进软件测试过程，提高软件测试的效......
计算机语言是计算机与使用者之间的通讯语言。是计算机与其使用者之间信息传递的媒介。 计算机语言的发展经历了最初的低级语言......
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可......
随着互联网技术的不断发展和网络资源的高度共享，人们在访问共享资源的同时，存在互连双方身份认证、信息的保密性与完整性的访问控制......
