一种基于逻辑约束的软件设计过程验证方法及其工程实践

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.     

统一建模语言在对象持久化中的应用

针对数据库关系模式与对象模式中数据存储不匹配的问题,提出了一种利用统一建模语言在这两种模式之间建立映射的方法,解决了这两种模式之间数据存储不匹配的问题.     

基于KLR信号分析法的经济危机风险模型

本文探讨的是我国近年来的主要经济指标分布特点和经济危机的风险。利用2006-2010年间的国内生产总值,国家财政收入,居民消费价格指数及恩格尔系等数据并进行了合理分析,基于KLR信号分析法建立了经济危机的风险数学模型,并对我国目前经济形势进行了分析。     

"虽然"的常见英语译法归纳

本文对在中译英过程,如何选择"虽然"作了归纳.     

基于极限编程的统一过程探讨

对统一过程 (UnifiedProcess,UP)、极限编程 (eXtremeProgramming ,XP)进行了简要分析 ,结合这两者在软件开发中所表现出来的优点 ,提出了一种使用XP的自底向上方法对UP的自顶向下方法进行改进的方案 .改进后的过程能在介于这两者规模之间的项目中进行灵活的应用