谢茂芳

作品数：2被引量：0H指数：0
导出分析报告
供职机构：湖南师范大学数学与计算机科学学院更多>>
发文主题：OBJECT-Z软件体系结构JAVASHELL编程备份更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电脑知识与技术》《计算机光盘软件与应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Object-Z规格到实现机制探讨
《计算机光盘软件与应用》2013年第21期59-61,58,共4页王志刚 谢茂芳 
形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Jav...
关键词：软件体系结构 形式规格 OBJECT-Z JAVA 转换机制 
ECI网管安全与稳定性的改进
《电脑知识与技术》2007年第9期1270-1271,共2页谢茂芳 王志刚 李琼 
对于通信公司（比如中国电信）来说,通信网络的安全稳定无疑是最重要的一件事情,没有了安全与稳定,其他一切都是空谈。本着从维护通信系统的安全稳定出发,针对湖南电信ECI网管的数据安全,从操作系统的恢复和网管中通信设备的电路数据库...
关键词：备份 SHELL编程 脚本 通信 ECI网管 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部