• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Software Engineering >A theory-based representation for object-oriented domain models
【24h】

A theory-based representation for object-oriented domain models

机译：基于理论的面向对象领域模型表示

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Formal software specification has long been touted as a way tonincrease the quality and reliability of software; however, it remains annintricate, manually intensive activity. An alternative to using formalnspecifications directly is to translate graphically based, semiformalnspecifications into formal specifications. However, before thisntranslation can take place, a formal definition of basic object orientednconcepts must be found. The paper presents an algebraic model of objectnorientation that defines how object oriented concepts can be representednalgebraically using an object oriented algebraic specification languagenO-SLANG. O-SLANG combines basic algebraic specification constructs withncategory theory operations to capture internal object class structure,nas well as relationships between classes
机译：长期以来，人们一直在吹捧正式的软件规范，以提高软件的质量和可靠性。但是，它仍然是复杂的，人工密集的活动。直接使用形式规范的一种替代方法是将基于图形的半形式规范转换为形式规范。但是，在进行翻译之前，必须找到基本的面向对象概念的正式定义。本文提出了一种面向对象的代数模型，该模型定义了如何使用面向对象的代数规范语言nO-SLANG代数地表示面向对象的概念。 O-SLANG将基本的代数规范构造与分类理论操作相结合，以捕获内部对象类结构，鼻子以及类之间的关系

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号