L模型

作品数：377被引量：1526H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于范畴论的业务目标模型形式化
《计算机应用研究》2020年第5期1445-1449,共5页李宗花 李必信 
江苏省高校自然科学研究面上项目(18KJB520006);国家自然科学基金资助项目(61902141,41471425);教育部人文社会科学研究青年基金项目(19YJCZH095);淮安市科技计划资助项目(HABZ201701)。
面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范...
关键词：GRL模型 范畴论 模型形式化 模型正确性验证 
AADL模型代码自动生成技术研究被引量：4
《计算机应用研究》2008年第12期3631-3635,共5页刘雪琴 桂盛霖 罗蕾 罗惠琼 
国家自然科学基金资助项目(90718019);国家“863”计划资助项目(2007AA010304)
随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada...
关键词：体系结构分析设计语言 建模工具 代码自动生成技术 映射规则 
AML模型导航工具的设计与实现被引量：2
《计算机应用研究》2002年第8期37-39,53,共4页戴桂兰 
国家自然科学基金项目 (6 0 0 830 0 4);清华大学"985"重点项目资助
基于面向对象建模语言AML ,开发了一种在软件模型中实现动态导航的方法。这种方法通过将软件模型不同侧面的视图映射到一种集成支撑表示中 ,提供动态导航算法 。
关键词：AML 设计 软件开发环境 面向对象建模语言 软件模型导航工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部