收藏本站
《计算机工程与应用》 2005年18期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于构件的信息系统形式化需求分析方法的研究

姚全珠  张志锋  任雪利  张作鹏  
【摘要】:提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 王磊;基于ARIS的企业售后服务体系建模研究和应用[D];南京理工大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 张美琪,雷跃明,文俊浩;UML在电子商务系统中的业务建模应用[J];重庆大学学报(自然科学版);2005年04期
2 赵卫东,苏健敏,戴伟辉;柔性流程建模研究[J];管理工程学报;2003年03期
3 邹泽明,李从心,阮雪榆;适用于企业信息化的数控系统集成平台研究[J];计算机工程;2005年12期
4 杜晖,甘仞初;流程建模和优化在MIS分析中的应用研究[J];计算机应用;2002年07期
5 涂荣军,陶俊才,徐鹏飞;Rational统一过程中的Use Case业务建模[J];计算机与现代化;2002年06期
6 刘荣生;数据仓库技术在统计信息系统中的应用[J];科技情报开发与经济;2005年08期
7 程刚,王志荣;我国企业管理信息化模式的选择[J];科学管理研究;2003年05期
8 熊曾刚,张学敏,陈建新;基于XML的信息系统集成的研究[J];情报杂志;2005年06期
9 陈旭;我国企业信息化的现状、障碍与对策[J];世界科技研究与发展;2003年05期
10 陈莹,凌鸿;跨组织业务流程建模方法的分类分析与比较[J];物流技术;2004年09期
中国硕士学位论文全文数据库 前2条
1 丁勇;基于J2EE/UML的企业建模系统的研究[D];浙江大学;2003年
2 张凯峰;基于KPI的企业运营管理信息系统研究与实践[D];中国科学院研究生院(软件研究所);2004年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 杨广智;徐工集团营销公司网络环境下进销存管理系统的研究与开发[D];南京理工大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 陶志成;周巢尘;;程序正确性证明的形式技术——J.Schwartz教授来华讲演记录[J];计算机科学;1980年01期
2 胡久清;何炎祥;李卫华;;程序验证机械化的进一步探讨[J];计算机研究与发展;1981年09期
3 C. A. Petri;赴立平;;通用网论介绍[J];计算机科学;1981年02期
4 唐佛南;张惕;;意义形式化语法系统中知识的表达方法及其应用[J];铁道科学与工程学报;1982年01期
5 马希文;郭维德;;W—JS有关“知道”的模态逻辑[J];计算机研究与发展;1982年12期
6 唐佛南;程光远;张惕;;意义形式化语法及其在电子计算机理解汉语中的应用[J];铁道科学与工程学报;1982年02期
7 Friedrich L.Bauer;袁崇义;;从规范到机器代码:通过形式分析构造程序[J];计算机科学;1983年03期
8 连迩遐;王代潮;;汇编语言程序设计中的正确性研究[J];华北电力大学学报;1984年04期
9 刘枫;;关于基层图书馆网及其形式化倾向[J];新世纪图书馆;1984年04期
10 朱梧槚;袁相碗;郑毓信;;关于数学基础诸流派的研究与评论(Ⅲ)[J];南京大学学报(自然科学版);1984年01期
中国重要会议论文全文数据库 前10条
1 蔡庆生;李凡长;徐金辉;;Fuzzy数学在知识量化形式化推理中的几点应用[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年
2 邓军;;篇章与词[A];外语语言教学研究——黑龙江省外国语学会第十次学术年会论文集[C];1996年
3 甘明;刘西拉;陈芮;;空间网格结构初步设计专家系统——知识库建造及系统实现的设想[A];第五届空间结构学术交流会论文集[C];1990年
4 王雨田;;弗晰(模糊)逻辑及其若干理论问题[A];全国逻辑讨论会论文选集[C];1979年
5 林邦瑾;;够用的无衍系统Cm[A];全国逻辑讨论会论文选集[C];1979年
6 杨书澜;;金岳霖先生前期的逻辑思想[A];1993年逻辑研究专辑[C];1993年
7 ;书讯[A];1994年逻辑研究专辑[C];1994年
8 张金成;;辩证逻辑形式化公理系统ZC[A];1994年逻辑研究专辑[C];1994年
9 孟晓青;;Topos理论的哲学意义以及辩证法的形式化[A];1994年逻辑研究专辑[C];1994年
10 毛翊;;邻域语义学[A];1994年逻辑研究专辑[C];1994年
中国重要报纸全文数据库 前10条
1 孙笑侠;中国法的“形”与“神”[N];法制日报;2000年
2 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年
3 本报记者 段文 翁俊山;让独立董事立起来[N];中国证券报;2001年
4 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
5 俞吾金;新世纪呼唤理论大师[N];文汇报;2001年
6 章国锋;伽达默尔:现代阐释学之父[N];北京日报;2002年
7 水天中;节日与节日文化[N];人民日报;2002年
8 向志柱;匿名审稿制形式化思考[N];中国审计报;2003年
9 浙江温州市分行党委组织部;探索党建与业务互动机制[N];中国城乡金融报;2003年
10 皮建才;经济学,应该是诗(书评)[N];国际金融报;2003年
中国博士学位论文全文数据库 前10条
1 谢爱华;“突现论”中的哲学问题[D];中国社会科学院研究生院;2000年
2 孙笑侠;程序的法理[D];中国社会科学院研究生院;2000年
3 刘克龙;安全Linux操作系统及安全Web系统的形式化建模与实现[D];中国科学院软件研究所;2001年
4 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
7 于江涛;多智能体模型、学习和协作研究与应用[D];浙江大学;2003年
8 梁彬;可信进程机制及相关问题研究[D];中国科学院研究生院(软件研究所);2004年
9 张盾;现代性问题图景中的马克思哲学革命[D];吉林大学;2004年
10 王茜;基于e-Cash的电子商务交易协议研究[D];大连理工大学;2003年
中国硕士学位论文全文数据库 前10条
1 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
2 马应龙;关于循环系统的理论及其相关软件的实现[D];西北大学;2002年
3 段继磊;利用XML和构架构件技术实现B/S模式下MIS程序的自动生成[D];昆明理工大学;2002年
4 周彦晖;基于面向对象模型的形式化规约和FDOOM开发方法[D];西南师范大学;2002年
5 顿海强;基于Z对UML中Use Case图的形式化[D];郑州大学;2002年
6 庄朝晖;基于攻击树的多层次入侵检测及其在Linux上的原型[D];厦门大学;2002年
7 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
8 熊小华;可视化面向对象形式化分析工具VOOFA的设计及实现[D];江西师范大学;2003年
9 罗蜜;基于UML的形式化需求建模的研究[D];西南师范大学;2003年
10 赖祥伟;基于UML的形式化面向对象软件测试用例辅助生成技术[D];西南师范大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026