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