论文部分内容阅读
任何工程学科的发展都必须建立在坚实的理论基础之上,软件工程也不便外.软件工程的理论基础难以应用于实践是迫切需要解决的问题.本文将分析问题产生的原因、解决的方法;简要介绍形式化方法及目前的实用情况.
软件工程的科学理论基础
【摘 要】
：
任何工程学科的发展都必须建立在坚实的理论基础之上,软件工程也不便外.软件工程的理论基础难以应用于实践是迫切需要解决的问题.本文将分析问题产生的原因、解决的方法;简要
【机 构】
：
南昌航空工业学院
【出 处】
：
江西农业大学学报
【发表日期】
：
2001年5期
其他文献
随着电力系统的发展, 专业工作越来越细化, 多专业班组同时工作的情况经常出现, 对现场工作的安全要求和措施也必须更为严格、 完善和精细.变电站是输变电系统的中心枢纽, 一
在感应电较为强烈的工作现场试验时,感应电加在回路电阻测试仪两端,会影响测试仪正常工作,导致测量结果不准确,严重时可能损坏回路电阻测试仪。基于上述情况,对回路电阻测试
草地农业系统工程是以草地生产业为主要内容，结合农田、林地、水域、加工、信息系统等多种资源和产业共同完成，并以畜禽为生产手段或纽带的现代系统性、精准化的产业。南方有很