专家系统软件开发生存期模型分析

文章根据专家系统类软件的特点,在分析已有软件开发生存期模型优缺点基础上,提出了一种适用于专家系统的开发模型,它以瀑布模型为基本框架,在不同开发阶段引入了快速原型开发模型和面向对象技术以克服瀑布模型的缺点。实践表明这种开发模型是可行的。     

大型MIS中软件工程方法研究

本文通过大型ＭＩＳ软件工程的实践，提出了适用于我军军以上机关信息系统的一种开发方法－瀑布法和原型法相结合在软件规划阶段及春以前各阶段，以瀑布法为主，在软件设计与编码阶段以原型法为主。     

硬件体系结构技术在软件开发中的转移

作者以“时空平衡”的思想为主线,结合当前软件开发的两种模型(瀑布模型、快速原型模型),把硬件体系结构的成熟的技术(以流水线为主)转移到软件开发中。试图寻求一种新的,以这种转移为中心的途径,用以解决软件开发中的问题。作者认为这种硬件体系结构技术与软件开发相溶合的思想是一种具有很大潜在意义的、并颇有创意的思想。     

一个新的软件开发增长模型─—硬核加保护带模型

本文通过瀑布模型和快速原型模型的对比，提出了一种新的软件开发模型和相应的生命周期模型，并进行了详尽的分析。本文是文章￣［２］的发展和续篇。     

软件开发周期模型的选择策略

经典的软件工程瀑布模型在整个软件开发界已经广泛地使用了，但瀑布模型开发出的软件却并不尽如人意。因此怎样开发出更可靠，执行效率更高，功能更完善的软件就刺激了软件工程研究人员去开发新的软件开发模型。如：原型法，软件综合法以及可重用软件。但是由于这些软件开发新模型的介导者经常使用不同的术语，因而很难对它们进行比较。本文为此讨论了一个框架，用于：１）作为分析软件开发模型异同的一个基础；２）作为软件工程研究     

软件开发过程及其模型(Ⅰ)

软件过程模型是软件过程的一种模型,它是软件开发的指导思想和全局性框架。软件过程模型的提出和发展反映了人们对软件过程的某种认识观,体现了人们对软件开发过程认识的提高和飞跃。软件过程模型对软件开发的作用不论怎么强调也不算过分。然而,问题是:迄今为止,软件过程的本质是什么尚不清楚;现有的众多模型,包括已被证明具有重大影响的模型,无一称得上是完善的、普遍适用的。论题“软件开发过程及其模型”分析、讨论各种重要的过程模型的发展、哲学基础、形式概念、本质特征、适用性及其优缺点。本文是论题的第一部分,以瀑布模型和快速原型模型为中心。其它模型将在第二部分中讨论。     

MIS系统开发模型及其方法

本文论述了快速开发ＭＩＳ系统的背景，所面临的问题。ＭＩＳ开发过程模型及进一步发展的探讨，如模型的可度量性，优化控制策略等。然后综述了瀑布模型下改进的各种快速开发方法和有前途而流行的其它模型范式，包括面向对象的方法，快速选代生产率原型法，再生工程法。     

软件工程中几种常用软件生命周期模型的简介

本文简单介绍了软件工程中几个常用的软件生命周期模型，包括漠布模型、原型法模型、喷泉模型、边做边改模型和增量模型，描述了他们的主要内容和特点。     

网络环境下知识驱动的新产品开发的流程优化

本文在研究新产品开发和知识管理的含义和流程基础上,分析了网络环境下知识管理流程和新产品开发流程的关系,以软件工程的瀑布模型和原型化方法为理论基础,以快速原型技术作为技术支持,吸取并行工程的思想,对新产品开发流程进行优化,提出了知识驱动的新产品开发的原型化模型,并对此模型进行了进一步的研究说明。     

数据库开发的瀑布模型设计过程

该文首先介绍了软件工程学的瀑布模型,从分析软件开发模式的角度出发,通过对传统的瀑布模式的分析指出其不足,同时引出CMM的管理方式,并对瀑布模型进行了扩展,最后建立了CMM的一种新模型。     

Rule-based update transformations and their application to model refactorings

A rule-based update transformation is a model transformation where a single model is transformed in place. A model refactoring is a model transformation that improves the design described in the model. A refactoring should only affect a previously chosen subset of the original model. In this paper, we discuss how to define and execute model refactorings as rule-based transformations in the context of the UML and MOF standards. We also present an experimental tool to execute this kind of transformation.     

模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

软件过程模型回顾与分析

软件过程模型是软件项目的指导思想和全局性框架,是项目经理进行管理的有效工具.本文回顾了软件过程模型的发展历程,介绍了一些具有代表性的软件过程模型,并通过对这些模型的类比分析,给出了它们的优缺点,最后展望了软件过程模型的发展趋势.     

基于Web Services的模型库系统设计方案

在对Web services技术进行简单总结的基础上，给出了基于Web services的可重用模型库体系结构的设计方案，以AHP模型为例，分析了模型的Web services表示、模型服务发布、发现、调用以及模型服务查询等问题。给出了一个应用实例，利用Web services技术建立了一个共享的模型库系统。     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型,在对模型进行比较的基础上,提出采用多种模型相结合的方法,能够满足操作系统保密性与完整性要求。     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型，在对模型进行比较的基础上，提出采用多种模型相结合的方法，能够满足操作系统保密性与完整性要求。     

A taxonomy-based approach to shed light on the babel of mathematical models for rice simulation

For most biophysical domains, differences in model structures are seldom quantified. Here, we used a taxonomy-based approach to characterise thirteen rice models. Classification keys and binary attributes for each key were identified, and models were categorised into five clusters using a binary similarity measure and the unweighted pair-group method with arithmetic mean. Principal component analysis was performed on model outputs at four sites. Results indicated that (i) differences in structure often resulted in similar predictions and (ii) similar structures can lead to large differences in model outputs. User subjectivity during calibration may have hidden expected relationships between model structure and behaviour. This explanation, if confirmed, highlights the need for shared protocols to reduce the degrees of freedom during calibration, and to limit, in turn, the risk that user subjectivity influences model performance.     

模型检测在软件需求分析及设计中的应用

模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现.总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较.最后对该项技术研究的方向进行展望.     

A complete approach for CIM modelling and model formalising

ContextComputation Independent Model (CIM) as a business model describes the requirements and environment of a business system and instructs the designing and development; it is a key to influencing software success. Although many studies currently focus on model driven development (MDD); those researches, to a large extent, study the PIM-level and PSM-level model, and few have dealt with CIM-level modelling for case in which the requirements are unclear or incomplete.ObjectiveThis paper proposes a CIM-level modelling approach, which applies a stepwise refinement approach to modelling the CIM-level model starting from a high-level goal model to a lower-level business process model. A key advantage of our approach is the combination of the requirement model with the business model, which helps software engineers to define business models exactly for cases in which the requirements are unclear or incomplete.MethodThis paper, based on the model driven approach, proposes a set of models at the CIM-level and model transformations to connect these models. Accordingly, the formalisation approach of this paper involves formalising the goal model using the category theory and the scenario model and business process model using Petri nets.ResultsWe have defined a set of metamodels and transformation rules making it possible to obtain automatically a scenario model from the goal model and a business process model from the scenario model. At the same time, we have defined a mapping rule to formalise these models. Our proposed CIM modelling approach and formalisation approach are implemented with an MDA tool, and it has been empirically validated by a travel agency case study.ConclusionThis study shows how a CIM modelling approach helps to build a complete and consistent model at the CIM level for cases in which the requirements are unclear or incomplete in advance.     

C4ISR系统仿真中的模型标准化和运行技术研究

C4ISR是一个十分复杂的大系统,在仿真中所涉及的模型种类繁多,类别不一。为了有效地模型实行管理、组合和调度,模型规范化是一个迫切需要解决的问题,在对各类模型进行分析和归纳的基础上,提出了一种模型规范化实现方案,并给出了其格式描述。文中还探讨了模型的封装结构和模型的运行调度机制,最后给出了一个仿真模型标准化的实例。