收藏本站
《西安理工大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

基于构件的形式化需求分析方法研究与实现

李晔  
【摘要】: 本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》,本人主要承担该项目前期需求分析建模方法的研究和实现。众所周知,对问题域的正确认识是软件开发的首要前提,面对千差万别的用户要求,如何能够快捷、准确的获取系统的需求并建立起无歧义的、完整的需求模型已成为软件开发中的核心问题。传统的需求分析方法,存在需求获取交流困难和分析建模周期过长两大难点。要有效地解决这两大难点,最根本途径只有改进和完善现有的软件开发方法,提高需求分析的形式化和工程化水平,规范软件开发过程,采用标准化的表示方法有效地促进软件设计、开发和测试人员的相互理解。本课题的研究目标主要是在分析现代制造企业信息管理特点的基础上,针对软件需求分析阶段的难点,通过将形式化方法和构件技术相结合,提出一套较完整的、适应我国制造企业MIS系统开发的、高效率、高质量的基于构件的形式化需求分析方法,并在此方法的理论指导下,开发出一个基于构件的形式化需求分析实验平台。
【学位授予单位】:西安理工大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP399

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 郑怀洲;刘兵;;装备指挥训练模拟需求概念模型研究[J];系统仿真学报;2009年S1期
中国硕士学位论文全文数据库 前4条
1 曲益民;软件构件的形式化描述与检索研究[D];昆明理工大学;2011年
2 张志锋;B方法和构件技术在信息系统形式化开发中的应用研究[D];西安理工大学;2006年
3 罗清胜;OCL约束验证与实现方法研究[D];江西财经大学;2006年
4 彭昱静;复杂系统需求获取形式化的研究[D];扬州大学;2009年
【参考文献】
中国期刊全文数据库 前6条
1 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
2 李升林,乌兰木其;基于数据挖掘的需求分析的研究[J];计算机辅助工程;2002年02期
3 陈明亮,李怀祖;基于规则的专家系统中不确定性推理的研究[J];计算机工程与应用;2000年05期
4 戴毅茹,严隽薇;基于事务过程构件的虚拟企业建模方法[J];同济大学学报(自然科学版);2002年03期
5 刘霞 ,李怀璋 ,王青 ,李明树;基于ISO9000和CMMs的需求开发和需求管理平台框架的研究[J];微电子学与计算机;2002年02期
6 阮幼林,李传湘;一种基于Z和精化演算的形式化开发方法[J];小型微型计算机系统;2001年05期
【共引文献】
中国期刊全文数据库 前10条
1 杨昌;冯玉强;董多;;绿色建筑供应链运作参考模型研究[J];四川建筑科学研究;2006年06期
2 梁晓明;企业在线管理的支撑体系研究[J];安徽电气工程职业技术学院学报;2004年02期
3 薛宏伟;芜湖电厂给水控制和主汽温控制改造[J];安徽电气工程职业技术学院学报;2005年03期
4 王佩光;李心科;张晓林;;ERP系统中供应商管理的最佳实践[J];安徽电气工程职业技术学院学报;2009年01期
5 姜春霞;;PDM力助企业信息化[J];安徽电子信息职业技术学院学报;2006年04期
6 赵世同;;企业实施供应链管理的战略意义[J];安徽电子信息职业技术学院学报;2007年06期
7 李敬秀;;基于组件的软件开发模型与方法研究[J];安徽电子信息职业技术学院学报;2008年06期
8 张润梅,龚剑,章曙光;机器人足球队的结构设计研究[J];安徽建筑工业学院学报(自然科学版);2003年01期
9 龚剑;关于高校开展机器人足球比赛的思考[J];安徽建筑工业学院学报(自然科学版);2005年04期
10 高朋;黄世祥;;地区现代化水平BP人工神经网络评价方法初探[J];安徽农业大学学报(社会科学版);2006年03期
中国重要会议论文全文数据库 前10条
1 陈来;;加强供应链物流管理 提升制造业竞争力[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
2 张抗抗;赵志崑;徐如志;杨峰;;基于关联网络的分布式构件库服务协同[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
3 吴会江;;高校的人才供应链管理[A];科学发展与社会责任(B卷)——第五届沈阳科学学术年会文集[C];2008年
4 沈霖;吴蕙;张帆;张芸;;提高有限元网格自动剖分成功率的研究[A];首届中国CAE工程分析技术年会暨2005全国计算机辅助工程(CAE)技术与应用高级研讨会论文集[C];2005年
5 苏建茹;李晓林;;供应商选择方法及其比较[A];北京市高等教育学会技术物资研究会第十届学术年会论文集[C];2008年
6 彭建仿;;城乡统筹发展的微观解理:企业与农户和谐共生——基于供应链管理视角[A];成渝地区城乡统筹与区域合作研讨会论文集[C];2007年
7 吴会江;;高校的人才供应链管理[A];第十届中国科协年会论文集(四)[C];2008年
8 鲍林江;贾世发;;电网经济运行实时分析监测系统的研究[A];2003中国电机工程学会电力系统自动化专委会供用电管理自动化分专业委员会成立暨第一届学术交流会议论文集[C];2003年
9 孙长嵩;李海丹;;基于构件的版本控制策略[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
10 张影;;基于Oracle的空间碎片减缓设计专家数据库系统[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前10条
1 张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年
2 何满辉;基于网络集市的虚拟企业模式研究[D];辽宁工程技术大学;2010年
3 陈韶斌;基于知识推理和视觉机理的遥感图像目标识别方法研究[D];华中科技大学;2010年
4 刘国庆;我国药品购销模式研究[D];华中科技大学;2010年
5 叶晓峰;基于XML的冲压模具设计知识重用技术研究[D];华中科技大学;2010年
6 孔令启;基于内外圈协同优化策略的间歇化工过程不确定性调度研究[D];华南理工大学;2010年
7 贡文伟;逆向供应链合作模式研究[D];江苏大学;2010年
8 王子良;商业银行创新物流金融服务的发展策略研究[D];东北师范大学;2010年
9 罗东;基于供应链管理的电子采购系统若干问题研究[D];电子科技大学;2011年
10 刘珩;考虑损失规避型决策者的价格补贴契约研究[D];电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 游振华;种子产业链企业合作绩效影响因素实证研究[D];华中农业大学;2010年
2 何惠妍;基于供应链的顾客满意链架构及其改进[D];安徽工程大学;2010年
3 汪安静;汽车零部件循环取货入厂物流及其路径优化研究[D];安徽工程大学;2010年
4 陈志勇;基于刻面描述的分布式构件库系统的研究[D];南昌航空大学;2010年
5 赵云霞;矿建物料质量管理方法研究[D];山东科技大学;2010年
6 董燕;精准定位变率施肥播种免耕机的研究[D];山东科技大学;2010年
7 王广伦;基于构件的软件系统定制技术的研究与应用[D];山东科技大学;2010年
8 任萌;鲍店煤矿辅助运输信息管理系统设计与实现[D];山东科技大学;2010年
9 周谦;工业机器人离线编程及其在光纤激光加工平台中的应用[D];山东科技大学;2010年
10 杨建立;吉林汽车制动器厂绿色采购模式研究[D];长春理工大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 宫慧颖,汪美玲,刘磊;基于属性文法的本体形式化描述方法及其应用[J];吉林大学学报(信息科学版);2005年02期
2 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
3 魏艳铭;张广泉;;RUP和UML在软件体系结构建模中的应用研究[J];重庆师范大学学报(自然科学版);2006年03期
4 宗绪锋;;软件危机和软件工程[J];昌潍师专学报;1997年02期
5 邵回祖;基于构件的软件开发论述[J];电力学报;2002年04期
6 张基温,陶利民;基于构件的MIS软件开发[J];电脑开发与应用;2002年07期
7 边小凡;朱建林;王倩;;形式化方法对构件库管理系统支持的探讨[J];电子技术应用;2006年04期
8 刘小波,郭荷清;软件系统需求变更影响分析及解决方案[J];华南理工大学学报(自然科学版);2002年04期
9 黎升洪;缪淮扣;;OCL 2.0表达式语义学比较研究[J];华中科技大学学报(自然科学版);2005年S1期
10 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑:技术科学;2001年04期
中国博士学位论文全文数据库 前1条
1 周晓峰;基于语义的软件构件匹配方法及在水利领域中应用的研究[D];河海大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈晓江;基于构件的分布式软件体系结构及其开发工具的研究与实现[D];西北大学;2002年
2 程勇;基于场景和形式化方法的软件需求建模研究[D];合肥工业大学;2002年
3 葛斌;基于构件的软件复用技术研究[D];合肥工业大学;2002年
4 孙挺;基于UML的需求获取技术研究[D];郑州大学;2002年
5 戴建峰;基于构件复用和XML技术的柔性信息系统开发研究[D];西安理工大学;2004年
6 张媛媛;软件开发的建模技术研究与应用[D];首都经济贸易大学;2005年
7 刘奎;基于模式的PIM到PSM模型变换方法的研究[D];合肥工业大学;2005年
8 吴海生;元建模在模型驱动架构中的应用研究[D];华东师范大学;2005年
9 李美洲;信息化发展对新型工业化进程贡献的统计评价问题研究[D];暨南大学;2005年
10 冯艳华;基于语义的构件描述和检索方法的研究[D];西北大学;2005年
【二级引证文献】
中国期刊全文数据库 前1条
1 叶文娟;;B方法在软件开发和学习中的探讨[J];科技致富向导;2012年32期
中国博士学位论文全文数据库 前3条
1 苏永定;装备系统测试性需求分析技术研究[D];国防科学技术大学;2011年
2 丁晓明;基于构件的软件开发关键问题研究[D];西南大学;2012年
3 何肇雄;战术数据链组网技术研究[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库 前4条
1 朱日学;基于OCL的产品配置引擎研究与实现[D];河北工业大学;2011年
2 柴艳欣;基于OCL约束的状态图测试方法的研究[D];重庆大学;2010年
3 杨绚;基于时间自动机的列控中心软件形式化建模与验证[D];北京交通大学;2013年
4 马艳艳;社会化网络中的社团发现与应用[D];西安电子科技大学;2013年
【二级参考文献】
中国期刊全文数据库 前7条
1 查鸣;王云峰;郑国梁;;一种从Z到精化演算的软件开发方法[J];计算机科学;2000年02期
2 吴陈;不精确推理模型和算法的描述及应用探讨[J];计算机应用研究;1997年05期
3 王丽英,吴斌,乌兰木其,邓家禔;面向创新的用户需求获取与处理系统研究[J];机械设计;2001年05期
4 朱祖平;产品概念交合分析的原理与案例研究[J];科研管理;2000年05期
5 董进,柴跃廷,任守榘;产品开发过程中模糊神经网络规则提取及模糊控制[J];清华大学学报(自然科学版);1999年07期
6 袁晓东,郑国梁;Z的面向对象扩充COOZ的设计[J];软件学报;1997年09期
7 左小德,刘子先;决策支持系统中的不精确推理研究[J];系统工程理论与实践;1998年07期
【相似文献】
中国期刊全文数据库 前10条
1 李虎林;姚青;;提取个性化目标的需求分析方法[J];计算机工程与设计;2009年09期
2 吴永辉;基于观察点的需求分析方法[J];计算机工程;1997年S1期
3 杨立平,刘虹霞;一种实用的面向数据处理的需求分析方法:表描述法[J];福建电脑;2005年11期
4 廖娟;纪娟;;面向中小规模软件的需求分析方法[J];网络安全技术与应用;2011年01期
5 杨叶,李明树;用户主导的面向领域的需求分析方法[J];计算机工程与设计;2000年02期
6 唐义德;面向数据的需求分析方法应用[J];湖南电力;2002年06期
7 李鼎;曲爱华;;基于活动的系统作战需求分析方法[J];指挥控制与仿真;2009年06期
8 李琪;李聚宝;刘相坤;;信息系统需求分析方法的研究[J];铁路计算机应用;2012年01期
9 张帆;杨悦;周备战;;敏捷需求分析方法在航天测控软件中的应用[J];飞行器测控学报;2013年05期
10 傅瑞军;张明安;李春雷;肖从毅;;一种快速需求分析方法[J];软件导刊;2012年04期
中国重要会议论文全文数据库 前2条
1 付威;;基于用户组织角色权限和资源的五要素全排列需求分析方法研究[A];中国烟草行业信息化研讨会论文集[C];2004年
2 孙旭东;邹德新;;从生存到发展:运动员保障制度的转型[A];第九届全国体育科学大会论文摘要汇编(4)[C];2011年
中国博士学位论文全文数据库 前1条
1 秦建军;面向用户协同的工程设计理论及方法研究[D];北京交通大学;2013年
中国硕士学位论文全文数据库 前10条
1 管飚;基于i*的面向目标的需求分析方法的研究[D];合肥工业大学;2005年
2 刘炳均;敏捷需求分析方法在小型项目中的应用研究[D];电子科技大学;2007年
3 肇淑华;敏捷需求分析方法研究及其应用[D];重庆大学;2005年
4 李孔仁;面向商业银行业务流程的需求分析方法研究与应用[D];厦门大学;2008年
5 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
6 杨春;敏捷需求分析方法在应用软件开发中的实践[D];天津大学;2010年
7 张佩;面向方面的C~4ISR系统需求分析方法研究[D];国防科学技术大学;2010年
8 何晖;基于RUP的柔性需求分析方法应用[D];复旦大学;2009年
9 李童;一种资源为中心的安全需求分析方法的研究与实现[D];清华大学;2011年
10 郎美红;支持动态需求的信息系统需求分析方法研究[D];山东理工大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026