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