对象约束语言

作品数：55被引量：113H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：彭中杜浩曾一毛晓光张申生更多>>
相关机构：重庆大学南京航空航天大学国防科学技术大学南京理工大学更多>>
相关期刊：《计算机辅助设计与图形学学报》《南京理工大学学报》《计算机集成制造系统》《信息技术与信息化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
搜索引擎系统:UML/OCL模型驱动开发
《计算机工程与应用》2010年第22期54-61,共8页马苏拉 朱盛 
云南省应用基础研究基金项目(No.2006F0047M)
介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQLServer存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精...
关键词：模型驱动开发 面向对象程序设计 对象约束语言(OCL) 搜索引擎 软件工程 统一建模语言(UML) 
基于OCL的配置工具研究与实现
《计算机工程与应用》2009年第6期73-77,共5页闫会强 肖国玺 檀润华 王秀娟 
国家自然科学基金;天津市自然科学基金;河北省自然科学基金~~
大规模定制是现代工业发展的趋势。它不但具有大规模生产的低成本优势,而且能够满足用户的个性化需求。产品配置是实现大规模定制的重要方法,实现产品配置的核心是配置工具。GPCT(Generic Product Configuration Tool)是河北工业大学创...
关键词：大规模定制 对象约束语言 产品配置 配置模型 
UML类图的形式化及分析被引量：12
《计算机工程与应用》2002年第10期5-7,46,共4页韦银星 张申生 曹健 
国家863高技术研究发展计划/CIMS项目资助(编号:2001AA415310);国家自然科学基金项目资助(编号:60073035)
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表...
关键词：UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部