契约式设计

作品数：16被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张思博章程赵建军张嘉铭王文涛更多>>
相关机构：上海交通大学华中科技大学中国科学技术大学河北经贸大学更多>>
相关期刊：《微型电脑应用》《江苏第二师范学院学报》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金：河北省社会科学基金湖北省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
委托代理视角下电子商务税收征管模式的契约式设计被引量：6
《河北经贸大学学报》2019年第4期50-56,共7页王凤飞 
河北省社会科学基金项目“电子商务环境下税收遵从与纳税服务研究”(HB18YJ046)
随着互联网技术和金融创新的快速发展,电子商务作为经济发展的新引擎,迅速渗透到社会生活的每一个部分。同时电子商务交易模式的虚拟性等网络特征,对我国现行的税收制度、税收原则乃至开征的税种都提出了严峻挑战,加大了政府监管和税款...
关键词：电子商务 税收征管 委托代理理论 政府监管 网络交易 
基于Object-Z生成Python代码的研究被引量：1
《电子技术与软件工程》2019年第5期234-235,共2页袁鼎 刘振宇 
(基金编号:2018KYY086)南华大学研究生科研基金支持
在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建立在使用lambda函数(以下简称L函数)和Python的编辑器上的。本研究发现Python对于开发从OZ映射到Python的...
关键词：OBJECT-Z PYTHON 面向对象编程 契约式设计 
基于契约式设计的VeriJava编程语言设计
《江苏第二师范学院学报》2014年第11期15-17,共3页戴维标 
契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对...
关键词：契约式设计理念 VeriJava编程语言设计 JAVA语言 
AOP中方面冲突自动检测方法研究
《计算机工程与设计》2012年第8期3064-3068,共5页胡宏银 何成万 
国家自然科学基金项目(60873024);湖北省自然科学基金项目(2009CDB293)
为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应...
关键词：面向方面编程 方面冲突 自动检测 契约式设计 Java模型语言 
契约式设计中异常处理机制研究
《现代计算机》2009年第10期41-44,共4页戎戟 
客户-供方契约规定了软件系统每一步操作的责任和义务。契约式设计中引入异常处理机制以应对发生在运行环境下的契约违背。该种异常处理机制协助契约式设计规范以开发正确与健壮的软件。契约式异常处理并不构成客户-供方契约的一部分,...
关键词：契约式设计 异常处理机制 客户-供方契约 
支持契约式设计的Java静态验证器的研究被引量：1
《计算机应用与软件》2008年第5期134-136,共3页章程 赵建军 沈备军 陈昊鹏 
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了...
关键词：契约式设计(DBC) JAVA 静态验证 
一种Java平台上契约式语言的设计与实现被引量：1
《测控技术》2008年第1期81-84,共4页刘振安 王文涛 
针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段。
关键词：契约式设计 编译器 语法分析 逻辑错误 
基于契约式设计的Java编译器实现被引量：2
《微型电脑应用》2007年第3期14-16,4,共3页张嘉铭 张思博 赵建军 
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过...
关键词：DBC 契约式设计 JAVA 编译器 
用于支持契约的AOP代码生成器的研究与实现
《微型电脑应用》2007年第1期1-4,18,共5页章程 
面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单...
关键词：面向方面编程(AOP) 契约式设计(DbC) 代码生成器 
基于AOP在组件开发中支持契约的研究与实现
《微型电脑应用》2006年第12期41-44,66-67,共4页张思博 
在进行软件组件开发时,需要明确组件中服务请求者与提供者之间相互满足的契约关系。通过在组件中支持契约式设计(Design by Contract,DBC),不仅可以阐明组件设计的细节、为客户记录正确的组件用法,还可以通过编程的方式来测试组件使用...
关键词：契约 契约式设计 面向方面编程 ECLIPSE插件 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部