面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。     

软件开发的形式化方法在程序测试中的应用

《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例.为了提高学生的学习兴趣,增强学生对软件开发的形式化方法的感性认识,从而达到掌握软件开发的形式化方法的目的,该文以软件测试的形式化方法为例,探讨了基于有限状态机的软件测试原理,开发了非确定有限状态机测试用例生成工具,并通过C程序测试例子说明基于有限状态机的程序测试方法.     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。     

基于．Net多层体系结构的应用开发框架

本文分析了基于.Net多层体系结构的应用开发框架的结构,并说明了开发框架在Web应用的每一层次为开发所提供的支持。开发框架预置了应用的体系结构,实现整个系统的可重用设计。通过一系列设计模式的抽象实现并不断增加和补充各类框架基础服务,能够实现框架的不断积累和提高。它可以帮助开发人员获得最大程度的框架复用,快速开发应用系统。     

试论数学的形式化与非形式化

论述了数学形式化与非形式化理论的概念、性质与作用，并阐明了在数学教育中必须坚持形式化与非形式化相结合的教育原理。     

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

需求分析的 Z 语言形式化方法

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.     

形式化故障树分析建模和软件安全性测试

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。     

一种形式化的构件模型框架

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。     

自然语言处理下的语音形式化研究

论述在自然语言处理进程下,在语言学范畴内,应用数学方法针对语言研究中的语音问题加以形式化研究,辅助实现语音信息的存储、传输、分析和再生。     

一种教育软件工程框架的构建

我国教育软件领域当前面临的一个重要任务就是加强教育软件工程学的研究和应用,并以此推动大量规范的高质量教育软件。首先从总体上讨论了教育软件、教育软件工程、教育软件生存周期,然后以提高教育软件质量、加强教育软件产品开发的可延续性、增加用户满意度为目标,在深入研究CMM的基础上,论述了一个基于CMM的教育软件工程实施框架。     

道路交通违法处理系统的应用框架研究

对于现场处罚的交通违法行为信息管理,各省通过自行开发的交通违法管理系统进行后期处理,但普遍存在与公安外网单位联网数据交换问题,以及非现场交通违法并轨处理、移动执法等问题.笔者根据广州市研究开发道路交通违法系统的经验,完整地介绍了道路交通违法处理系统的应用框架.     

软件体系结构模型描述的研究

提出一个PetriNet的扩展理论 ,为软件体系结构的描述的正确性提供了一个比较简单但完整的描述的net基础。     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

分布式进销存系统应用框架研究

以缩短大型应用软件系统开发周期,提高开发质量,实现大粒度复用为目标,对跨平台、分布式进销存系统应用框架进行研究。     

面向对象的框架设计

分析与研究了面向对象的框架设计．通过与组件和设计模式的比较，针对框架的不足，提出了改进思路，以降低其设计的难度．