检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到2篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

基于RUP和VDM++的软件形式化开发方法的研究被引量：1: 1; 作者王新苏罗文坚 +1 位作者毛晨晓王煦法《计算机工程与应用》 CSCD 北大核心 2005年第26期100-103,122,共5页; 形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通... 展开更多; 关键词形式化方法统一软件过程 vdm++; 在线阅读下载PDF 职称材料

RUP与传统信息系统开发方法的比较研究被引量：5: 2; 作者牟援朝张杰王延清《合肥工业大学学报（自然科学版）》 CAS CSCD 2003年第z1期919-923,共5页; 针对在使用传统软件开发方法转向使用 RU P方法来开发软件中面临的困难 ,该文介绍了主要的传统信息系统分析和设计方法 ,以及基于 RU P的信息系统分析和设计原理 ,并通过对传统的信息系统开发方法和 RU P开发方法的比较分析 ,提出了在 R... 展开更多; 关键词 rational unified process 信息系统开发方法面向对象开发技术; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部