-
郭青
-
-
- 所属机构:青岛大学
- 所在地区:山东省 青岛市
- 研究方向:自动化与计算机技术
相关作者
- 陈意云
- 作品数：133被引量：643H指数：16
- 供职机构：中国科学技术大学计算机科学与技术学院
- 研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
- “交互式”教学模式在古筝集体课教学中的应用研究——以即墨市M实验学校为例
- 本论文对现有的古筝教学模式和“交互式”教学模式展开研究，尝试将“交互式”教学模式运用到古筝课程的教学中，旨在形成一套适合小学古筝课堂的教学模式，改善我国小学古筝教学模式单一、教学质量不高的现状。同时，通过“交互式”教学模...
- 郭青
- 关键词：小学音乐交互式教学模式教学策略
- 文献传递
- 模块的代数规范说明
- 1989年
- 本文介绍软件工程中模块的代数规范说明概念。模块规范说明包括参数部分、体、输入和输出接口。它的形式语法和语义是用代数方法仔细地定义了的。本文还给出一个简单的图书管理系统的规范说明和对应的Ada程序包做为例子,以展示模块规范说明的实际意义。
- 陈意云郭青
- 关键词：软件工程
- 代数规范说明的应用
- 1989年
- 本文讨论如何应用代数规范说明方法来说明软件系统。
- 陈意云郭青
- 关键词：软件工程
- 代数规范说明的实现
- 1989年
- 代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。
- 郭青陈意云
- 关键词：软件工程代数规范说明
- 代数规范说明的基础
- 1989年
- 代数规范说明是软件与理论计算机科学研究中的一个活跃领域,它对于软件工程与程序设计方法学都有很好的支持,是软件形式化开发研究的一条希望之路。本文是《代数规范说明技术的理论与应用》论文的第一部分,主要介绍数据抽象的思想与抽象数据类型的规范说明。文章从泛代数的角度阐述等式规范说明、初始语义、规范说明的拓广及其一致性与完全性问题。
- 陈意云郭青
- 关键词：代数规范抽象数据
- 中提琴艺术在中国发展
- 19世纪末20世纪初中提琴在我国的传播与发展，可以从近代中国历史文化背景以及中提琴艺术教学专业化里程碑入手，将中提琴在中国的发展大体分为三个阶段，即20世纪20年代至建国后文革之前、文革时期至2000年以及2000年至今...
- 郭青
- 关键词：中提琴西洋管弦乐队艺术发展
