您的位置： 专家智库 > >

林云

作品数：4 被引量：5H指数：2
供职机构：华中师范大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇形式化
  • 1篇形式化研究
  • 1篇语文
  • 1篇语文课
  • 1篇语文课程
  • 1篇设计语言
  • 1篇中小学作文
  • 1篇作文
  • 1篇作文教学
  • 1篇文教
  • 1篇系统安全
  • 1篇小学作文
  • 1篇面向对象
  • 1篇教学研究
  • 1篇教育
  • 1篇课程
  • 1篇基础教育
  • 1篇计算机
  • 1篇教学
  • 1篇教学模式

机构

  • 4篇华中师范大学

作者

  • 4篇林云
  • 2篇蔡霞
  • 2篇李晓燕
  • 1篇陈基雄

传媒

  • 1篇计算机系统应...
  • 1篇计算机科学

年份

  • 1篇2011
  • 1篇2000
  • 2篇1999
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
艺术真实观指导下的中小学作文教学研究
本文对艺术真实观指导下的中小学作文教学进行了研究。在当前的中小学作文教学当中,大部分的老师仅强调了作文内容的现实真实,忽略了作文内容的艺术真实,导致当前的作文教与学仍是一个让老师伤心、让学生头痛的大问题。为了解决这一问题...
林云
关键词：基础教育语文课程作文教学教学模式
系统与软件安全浅析被引量：2
1999年
本文用系统工程的概念论述了系统与软件安全，并集中论述了如何将系统与软件安全分析集成到系统开发的各个生命周期中。
蔡霞李晓燕陈基雄林云
关键词：计算机系统安全
关于需求分析建模与模型验证技术的研究
该文的主旨是关于需求分析建模和模型验证技术的研究,文中的'分析模型'是需求规格说明的半形式化表示.该文较为全面地研究了以结构化和面向对象两大主流分析方法为基础的需求分析建技术,包括两种分析方法发展的简史和主要思想,以及基...
林云
关键词：分析模型CASE工具TSA
关于面向对象的类的形式化研究
1999年
在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。
李晓燕林云蔡霞
关键词：面向对象程序设计语言形式化
全选 清除 导出
共1页<1>
聚类工具0