回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

软件分析与设计的支持环境

软件分析与设计的支持环境——“结构设计编辑系统DSE”的研究课题是1984年由国家科委新技术局和中国软件技术开发中心下达给我校的。它是国家科委抓的重点工程项目“微型机软件工程国际合作项目”中的基础技术研究任务之一,是国家重点科技攻关课题。这个项目也部分地得到国家自然科学基金的资助。西北大学计算机科学系软件工程研     

可复用多媒体应用构件

可复用多媒体应用构件包括音频构件、视频和图像构件、多媒体复合文档构件以及集成构件,通过软件复用技术,在多媒体软件开发中使用这组构件,可简化多媒体软件的编程工作,提高多媒体应用软件的开发效率和质量,主要介绍了可复用多媒体应用构件的设计和实现方法。     

一个基于J2EE的应用服务器SynchroWeb的设计

提出了一种基于J2EE规范的应用服务器SynchroWeb的设计和实现方法，以Web的底层技术为基础，采用分层构件设计思想，为企业构筑基于Internet的各种应用提供一个强大的基础平台SynchroWeb，为应用软件开发人员提供一种快速创建、部署和维护企业级的Web应用的组件化系统平台。由于其提供了互联网环境下复杂应用所需的底层服务和快速开发支持，因此可以缩短开发周期，节省维护费用。SynchroWeb是基于Internet应用开发、部署、运行和管理必须的、可扩展的平台软件，提供企业级组件EJB的包容器和多服务器负载平衡，增强安全特性和事务处理，可以满足大型电子商务和企业的Web应用。     

基于EVA的软件测量

目的 实现软件的量化管理。方法采 用挣值分析(EVA)，综合考虑范围、时间、成本3项约束，构建项目级测量构造。结果 基于EVA的软件管理是一个迭代的过程，通过EVA测量数据库信息的逐步丰富，可建立更为准确的决策标准，提供科学决策的依据。结论 EVA可在软件开发的全寿命周期中采用，该方法是实用而有效的。     

从古代东西方两种数学思想体系看当代软件开发方法中的两派之争

本文叙述了古代东西方两种数学思想体系的异同,特别分析了东方数学思想体系的直观性和实用性等特点,并指出了这两种数学思想体系与当代软件开发方法中的形式化方法和非形式化方法的两派之争之间的密切联系。     

开放网—交互式并行系统的模型

定义了开放网的静态结构、动态行为、系统的进程,讨论了开放网及其进程的分解与合成、抽象对象、开放网的外部特性——黑盒理论及开放网的层次结构等基本问题。由于开放网引入了系统与外部的交互机制及层次结构,它可以作为交互式并行系统,特别是规模较大的复杂系统的描述与分析的工具。     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

分布式程序中固有死锁的检测

本文定义了分布式程序中“固有死锁”的概念,并给出了一些检测固有死锁的算法。