基于B/S结构的多媒体课件系统的设计与实现

首先分析了传统多媒体课件系统存在的弊端,并从本质上比较了C/S和B/S这两种体系结构的优劣,在此基础上设计并实现了基于B/S体系结构的多媒体课件系统。最后,用JSP技术实现该课件系统。     

基于Java蓝图的过程模式形式化定义框架

模式在软件开发过程中被总结和提炼,从而能够利用模式加速软件的设计与开发。在使用Java蓝图进行程序过程建模时,从大量的实例模型中,总结出一些可行且被验证的Java蓝图过程模式。扩展Java蓝图的概念,提出Java蓝图过程模式的形式化定义框架,详细阐述过程模式三层视图的结构和内容特征,并且举实例描述过程模式,最后对比了国外相关研究成果说明Java蓝图过程模式的优势。Java蓝图过程模式的提出,为程序过程建模提供了便利,能够提高模型驱动开发与维护的效率。     

VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法

当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时，解决解决抽象逻辑结构图概念层表示的一致性同步更新问题。给了VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。     

一个JAVA可视化面向对象程序设计支撑系统的设计

1 引言由 Grady Booch、James Rumbaugh和 Ivar Jacobson共同创建的一种可视化说明、建造软件系统的工业标准语言——统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准,具有直观自然,表现力强的特点。对过程建模,尽管UML提供了活动图和顺序图,但它们均属动态模型,UML缺乏对过程的静态建模方法,所以UML的静态建模机制并不完善。UML活动图从动态观点来建立过程模型,而最终程序代码是静态的,因而活动图过程模型与代码两者的结构是不一致的。这种结构的不一致不仅会导致过程模型到程序代码的过渡不平滑,并且还会导致活动图模型与程序代码的一致性难以维护。另外从本质上讲,UML活动图与传统的程序流程图非常相似,所以程序流程图的缺点在     

PASCAL过程蓝图到抽象逻辑结构的逆向映射

给出PASCAL过程蓝逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图，揭示了两映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑辑层表示之间双向映射函数的有效性概念基础上，进一步给出向映射函数的有效性定理。     

ＶＦＰ过程蓝图设计技术

Ｖisual FoxPro过程蓝科是一种面向Ｖisual FoxPro语言的程序处理逻辑图表化表示法,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具,并给出Ｖisual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。     

抽象逻辑结构图到VFP过程蓝图的过渡与映射

给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则;给出了抽象逻辑结构图程序表示的有效性定义、导出VFP抽象逻辑结构图的有效性定理及其证明。     

抽象逻辑结构图导出PASCAL过程蓝图的方法

概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具,文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则,给出了抽象逻辑结构图程序表示的有效性定义,导出PASCAL抽象逻辑结构图的有效性定理及其证明。     

基于过程蓝图的基本树变换操作研究

在过程蓝图工作已有的基础上,提出一些新的基本树变化操作,不变量和重构操作。这些工作更好地发挥了过程蓝图的树形结构优努,弥补了原有工作的不足．使过程蓝图的重构理论更加丰富。