可视化体系结构描述语言XYZ/ADL

提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .

基于时态逻辑的软件体系结构描述语言及其可视化环境

在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

孔子的教师形象对当代教师自我修炼的启示

教师形象,是人们对教师在"教书育人"过程中表现出的内外特征的感知与评价。孔子是中国教育史职业型教师的代表,其教师形象历来受人关注。"至圣先师""万世师表"的孔子,在外在形象和内在形象的修炼上,都为当代教师的自我修炼提供了榜样,值得老师们研究、学习和效仿。

加强校本培训 促进教师信息素养的提升

当今，人类进入了信息化社会，在这个社会中，教师的发展必须符合时代的特点。教师不仅要掌握必备的科学知识、教学技能，而且必须具备一定的信息素养。针对中小学教师信息素养存在的主要问题，应通过加强校本培训，提高中小学教师信息素养，促进教师专业能力的发展。

软件体系结构描述语言ADL

主要阐述了现有的常见软件体系结构描述语言ADL的特点和功能 ,并简要介绍了一种新的可视化体系结构描述语言。

基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件 ;它为进一步描述体系结构风格提供了一个基础。

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合 ,来表示几种重要的软件体系结构风格。

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。