您的位置： 专家智库 > >

安徽省高等学校优秀青年人才基金(2011SQRL178)

作品数：1 被引量：0H指数：0
相关作者：夏敏陈平更多>>
相关机构：马鞍山师范高等专科学校安徽工业大学更多>>
发文基金：安徽省高校省级科学研究项目安徽省高等学校优秀青年人才基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语言模型
  • 1篇ASPECT...
  • 1篇JAVA

机构

  • 1篇安徽工业大学
  • 1篇马鞍山师范高...

作者

  • 1篇陈平
  • 1篇夏敏

传媒

  • 1篇东北电力大学...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种使用AspectJ技术的Java契约式编程语言模型
2011年
契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技术,在面向对象程序设计语言基础上,增加了契约式约束检查。并以Java面向对象程序设计语言为例,使用AspectJ技术对Java程序中的接口、类、继承、数据类型、构造器、域、方法、异常增加关注点,进行契约约束检查,最终形成一种易于实践且具有契约式功能的开发语言环境。
陈平夏敏
全选 清除 导出
共1页<1>
聚类工具0