一种以面向对象及形式化技术为基础的严格的软件开发方法

来源 :郑州工业大学学报 | 被引量 : 0次 | 上传用户:qqq1234qqqqqqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件开发规模的迅速扩大,目前流行的软件开发方法已难以满足开发实践的要求,实践要求在软件开发方法学上能有效的进展。览于此,本文在面向对象及开式化方法的基础上,系统地提出了一种严格的软件开发方法,力图使开发者的创造性及开发环境的自动化能力都得到充分发挥,使软件开发能适应形势的需要。
其他文献
【摘 要】公路工程施工企业职工晋升通道的多元化带来了职工薪酬的宽带多元化发展,并且对企业的薪资核算工作提出了更高的要求,做好公路工程施工企业薪资核算工作,不仅可以为企业的人力资源战略部署工作提供保障,同时还可以为企业在制定经营战略方面提供人力资本的数据支持,文中对公路工程施工企业的职工薪酬核算变化进行了简单的论述。  【关键词】公路施工企业;职工;薪酬核算  随着全球化经济的发展,公路建设已经走出
本文提出的改进型Runge-Kutta模型应用方法,不仅能够满足对计算精度的要求,而且更重要的是可以大大地提高计算速度 。
中国驻宿务总领馆经商室消息,据《菲律宾商报》报道,今年前6个月,菲律宾汽车销量为167,481辆,同比增长27.4%。上半年,菲律宾商用车销量从去年同期的78687辆升至104921辆。其中,轻型商
45钢柴油机摆臂轴(如图1所示),硬度要求50~55HRC.采用盐浴炉加热(820~840)℃×7min,10%(质量分数%,下同)盐水淬火,(200~220)℃×60min回火.生产中常发现边角处产生裂纹,
【摘 要】在企业经营管理中,由于采购工作相对重要,要想做好采购工作,使采购行为能够更加规范有效并且合理地降低采购成本,就应当采取招标采购的方式,将整个采购过程公开化、透明化,使企业的采购过程能够达到一定的透明度。使企业在完成采购的同时又能够保证采购行为的规范性,基于这一认识,我们应对企业招标采购工作引起足够的重视,并结合招标采购工作实际制定具体的工作措施,提高招标采购的透明度,使招标采购能够满足企
梁和柱是建筑中的承重构件,它们的造型和力学有着密切的关系。本文用一些典型实例和图片阐述了梁柱造型和力学是统一的综合体,并且说明了力学往往是建筑造型灵感的源泉,力学
本文确定出活性炭吸附C^6+r的最佳PH值范围为3.5-5.0;并发现随着吸附过程的进行,溶液的PH值会上升并超过5.0,从而导致活性炭工作吸附量降低。
讨论了我国烟机轮盘与叶片冲蚀损伤的多种形态和修复的可行性,研究了激光修复的工艺方法、修复用材料、修复层的结构、组织与性能等特性。研究发展的控制激光熔铸随形定向生长
本文将粘性土坡的稳定性问题等价于一个单参变量函数的待定边界的泛函的变分问题。利用变分法,推导了滑裂面所应满足的微分方程(欧拉方程)和横截性条件。本文方法可确定滑裂面形
【摘 要】集团企业作为国民经济重要的组成部分,必须对其内部存在问题进行及时解决以期可以得到长足的发展。目前集团企业较为突出的问题就是资金管理方面,例如资金使用效率低下甚至混乱,这些问题使得集团企业不得不面临财务风险和经营风险双重风险问题。因此,集团企业必须对资金管理的风险管控予以足够的重视,努力寻求解决措施,以期可以提高集团的资金管理效率,增加效益。  【关键词】集团;资金管理;风险管控  一、引