林云

作品数:2被引量:0H指数:0
导出分析报告
供职机构:华中师范大学更多>>
发文主题:CASE工具TSA分析模型计算机系统安全更多>>
发文领域:自动化与计算机技术文化科学更多>>
发文期刊:《计算机系统应用》《计算机科学》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
系统与软件安全浅析
《计算机系统应用》1999年第12期38-40,共3页蔡霞 李晓燕 陈基雄 林云 
本文用系统工程的概念论述了系统与软件安全,并集中论述了如何将系统与软件安全分析集成到系统开发的各个生命周期中。
关键词:计算机 系统工程 软件安全 系统安全 
关于面向对象的类的形式化研究
《计算机科学》1999年第11期55-56,共2页李晓燕 林云 蔡霞 
在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其...
关键词:面向对象 程序设计语言  形式化 
检索报告 对象比较 聚类工具 使用帮助 返回顶部