切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件工程的科学理论基础
软件工程的科学理论基础
来源 :江西农业大学学报 | 被引量 : 0次 | 上传用户:junjian1127
【摘 要】
:
任何工程学科的发展都必须建立在坚实的理论基础之上,软件工程也不便外.软件工程的理论基础难以应用于实践是迫切需要解决的问题.本文将分析问题产生的原因、解决的方法;简要
【作 者】
:
毛红梅
【机 构】
:
南昌航空工业学院
【出 处】
:
江西农业大学学报
【发表日期】
:
2001年5期
【关键词】
:
软件工程
形式化方法
software engineering
formal method
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
任何工程学科的发展都必须建立在坚实的理论基础之上,软件工程也不便外.软件工程的理论基础难以应用于实践是迫切需要解决的问题.本文将分析问题产生的原因、解决的方法;简要介绍形式化方法及目前的实用情况.
其他文献
百喜草和几种水保植物营养器官的解剖研究
对百喜草(Paspalum notatun Flugge)、狗牙根[Cynodon dactylon(L.)Pers.]和假俭草[Eremochloa ophiuroides(Munro)Hack)]植物的根、茎、叶器官进行了解剖学观察和比较。结果表明:百喜草植物体中的保护、通过气、机械组织和泡状细胞比狗牙根和假俭草的发达。百喜
期刊
百喜草
营养器官
解剖构造
Paspalum notatum Flugge
grasses for soil conservation
vegetative
蓝思科技出资5000万元,参与投资设立机器人公司
蓝思科技7月25日发布公告宣布出资6000万元参与投资设立机器人子公司,蓝思科技将持有该子公司60%股权。公司称,设立机器人子公司是为蓝思科技未来大规模导入自动化设备奠定基础,
期刊
机器人
科技
投资
自动化设备
人工成本
生产效率
匹配
科大智能终止投资灵至机器人改投深圳机器人公司
科大智能7月19日晚间公告,公司决定终止增资灵至机器人。拟对力子机器人增资850万元持有25%股权,重点投入无反射激光导航AGV,核心导航算法和硬件平台。
期刊
机器人
智能
深圳
投资
激光导航
硬件平台
导航算法
AGV
一种“在此工作”标示牌的改进方法
随着电力系统的发展, 专业工作越来越细化, 多专业班组同时工作的情况经常出现, 对现场工作的安全要求和措施也必须更为严格、 完善和精细.变电站是输变电系统的中心枢纽, 一
期刊
在此工作
标示牌
问题
改进
使用
1、爱仕达拟收购松盛机器人
11月6日,爱仕达发布公告,公司及公司全资子公司爱仕达机器人拟以自有资金3750万元收购意欧斯持有的松盛机器人50%股权,并对松盛机器人增资2000万元。另外,爱仕达机器人拟以自有资
期刊
机器人
收购
松
股权
资金
物流
牵索塔式海洋钻进平台水下焊接机器人设计
牵索塔式钻井平台结构如桁架式的塔,它的应用范围在200米至650米,为解决水下焊接危险性高、焊接工艺要求高的工作特点,设计了一种适合牵索塔式钻井平台桁架结构水下焊接机器
期刊
牵索塔式
桁架结构
焊接机器人
设计研究
苏州华数机器人项目在苏州高新区签约
10月18日,苏州华数机器人项目在高新区签约。该项目由武汉华中数控股份有限公司在苏州高新区投资设立,主要从事机器人及数控装备研发、制造、集成、销售与智能制造整体解决方案
期刊
苏州高新区
工业机器人
武汉华中数控股份有限公司
工程技术研究中心
整体解决方案
智能制造
组装生产线
数控装备
120m^2三居室无线智能家居落地设计方案
一.项目简介01 深圳瑞士半山项目为百万级别低密度别墅豪宅区,拥有数干亩天珑山连绵山体、数十万平米雁鸣湖天然湖景,周边有清林径国家森林公园、龙城公园、龙潭公园等山湖资源
期刊
智能家居
三居室
国家森林公园
设计
无线
智能化家居
公共活动
瑞士
排除感应电影响的回路电阻测试仪改造
在感应电较为强烈的工作现场试验时,感应电加在回路电阻测试仪两端,会影响测试仪正常工作,导致测量结果不准确,严重时可能损坏回路电阻测试仪。基于上述情况,对回路电阻测试
期刊
回路电阻
感应电
断路器
建立草地农业系统工程发展南方精准养殖业
草地农业系统工程是以草地生产业为主要内容,结合农田、林地、水域、加工、信息系统等多种资源和产业共同完成,并以畜禽为生产手段或纽带的现代系统性、精准化的产业。南方有很
期刊
草地农业系统工程
精准养殖业
南方地区
生产特性
可行性分析
grassland agriculture
systems engineering
accur
与本文相关的学术论文