切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于契约式设计的Java编译器实现
基于契约式设计的Java编译器实现
来源 :微型电脑应用 | 被引量 : 0次 | 上传用户:a619906915
【摘 要】
:
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及
【作 者】
:
张嘉铭
张思博
赵建军
【机 构】
:
上海交通大学软件学院软件工程中心
【出 处】
:
微型电脑应用
【发表日期】
:
2007年3期
【关键词】
:
DBC
契约式设计
JAVA
编译器
DBC(Design by Contract)JavaCompilerPreconditionPostcondition
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。
其他文献
编辑推荐NEW WATCHES
劳力士呈献新款切利尼系列,以当代精神彰显传统钟表的古典风格与永恒优雅的气质。这个新系列由12个古典表款组成,每款均集专业技术与精巧工艺于一身,充分展现劳力士制表传统的隽
期刊
编辑
古典风格
圆形设计
劳力士
专业技术
传统
铸造厂
玫瑰金
山东地质矿产数据管理信息系统设计与实现
随着全球资源危机及地理信息信息孤岛的日益凸显,山东省迫切需要对现有的影像,地理,地质,矿权,矿区,物化探,钻孔,地质资料,矿山,储量数据等进行整理、汇总、整合及管理。目前
学位
webgis
矿产资源
silverlight
压覆分析
坐标转换
基于BP网络的异或运算多阈值神经元的实现
由于单层感知器功能有所限制,文中给出了基于BP神经网络的(多层感知器)异或运算的网络结构图,进而在此基础上设计了一个实现异或运算的多阈值神经元。这样的神经元电路具有速度快
期刊
感知器
BP算法
多阂值神经元
PerceptronBP algorithmMulti-thresholded neuron
天王表MlX系列新品测评
近年来腕表的表径越来越大,一些男表甚至超过45毫米直追怀表。不过从去年开始,大表风潮渐有回落,尤其在相对男性腕径较小的亚洲市场。在今年的SIHH上,伯爵、爱彼也都相继推出了非
期刊
lX系列
测评
亚洲市场
设计语言
腕表
MIX
超薄
蓝色
特灵节能领袖奖花落狮城
2010年10月4日,新加坡丰树商业城项目(MapletreeBusinessCity)因在节能与可持续发展方面的杰出表现获得特灵公司颁发的“节能领袖奖(Ener.gYEfficiencyLeaderAward)”,特灵的母公司
期刊
节能
领袖
狮
可持续发展
温控系统
商业城
新加坡
欧米茄:当简约外观邂逅经典设计
历经时光变迁,距第一款欧米茄超霸腕表的问世已有60年之久,而欧米茄依旧在创新与传承之间不断的努力着。2017年的巴塞尔钟表展上.欧米茄在其著名的两个系列——海马系列和超霸系
期刊
欧米茄
设计
简约
外观
色彩搭配
巴塞尔
腕表
钟表
海外毛泽东诗词英译副文本研究
海外毛泽东诗词英译本中,有6个具有代表性的版本,即Bullock&Chen版、Fremantle版、En—gle版、Barnstone&Ko版、Wang版和Barnstone版。从这些代表性的版本可以看出,海外毛泽东诗词
期刊
毛泽东
毛泽东诗词
翻译
英译
外译
Mao ZedongMao Zedong's PoemstranslationEnglish translationfor
2017年7月陕西高温热浪天气成因及前期信号初探
利用陕西98个气象观测站最高气温逐日资料和NCEP/NCAR再分析逐日、逐月资料、NOAA逐月海表温度资料以及国家气候中心逐月环流指数资料,分析了2017年7月陕西极端高温热浪天气
期刊
高温
西太平洋副热带高压
南亚高压
海温
异常反气旋
5种药用植物在NaCl处理土壤中的生长及对土壤有效养分的影响
为了合理利用、开发和改良盐渍土,采用室内盆栽的方法,在添加不同浓度NaCl的潮土上,种植薏米、甘草、草红花、菊苣和狼尾草,通过对植物生长和生理指标以及种植后土壤有效态N
期刊
药用植物
NaCl
盐渍土
生长指标
有效养分
总胆汁酸(TBA)在肝硬化诊断中的意义
肝硬化患者由于发生肝实质性损害,可影响多种物质的合成.胆汁酸是在肝脏分解代谢的.本文通过对45例肝硬化患者的TBA结果分析,探讨TBA在肝硬化诊断中的意义.
期刊
肝硬化患者
总胆汁酸
慢性乙型肝炎
正常对照组
结果分析
诊断
病毒性肝炎
住院病人
合成
意义
与本文相关的学术论文