谢茂芳
- 作品数:3 被引量:0H指数:0
- 供职机构:湖南师范大学数学与计算机科学学院更多>>
- 相关领域:自动化与计算机技术更多>>
- ECI网管安全与稳定性的改进
- 2007年
- 对于通信公司(比如中国电信)来说,通信网络的安全稳定无疑是最重要的一件事情,没有了安全与稳定,其他一切都是空谈。本着从维护通信系统的安全稳定出发,针对湖南电信ECI网管的数据安全,从操作系统的恢复和网管中通信设备的电路数据库的备份2个方面进行阐述,重点讨论了如何实现网管数据的全自动备份,并将代码编写成脚本。
- 谢茂芳王志刚李琼
- 关键词:备份SHELL编程脚本通信
- Object-Z规格到实现机制探讨
- 2013年
- 形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。
- 王志刚谢茂芳
- 关键词:软件体系结构OBJECT-ZJAVA
- 基于Object-Z的软件体系结构描述到JAVA的实现的研究
- 软件体系结构的设计是软件生命周期的两个最为关键的活动之一,它代表了系统和公共的高层次抽象。它一般通过建模语言来表示,这一过程称为软件体系结构的形式化描述。如何根据形式化描述来实现软件编码,是软件开发中一个非常关键的环节,...
- 谢茂芳
- 关键词:软件体系结构面向对象OBJECT-ZJAVA
- 文献传递