L模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于限定自然语言需求模板的AADL模型生成方法被引量：13
《软件学报》2018年第8期2350-2370,共21页王飞 杨志斌 黄志球 周勇 刘承威 章文炳 薛垒 许金淼 
国家自然科学基金(61502231,61272083);阁家高技术发展计划(863)(2015AA105303);GF基础科研重点项目(JCKY20162038011)：国家重点研发计划(20J6YFB1000802);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027)
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段...
关键词：嵌入式软件 软件安全性 需求规约 限定自然语言需求模板 AADL 可追踪性 
AADL模型可靠性分析评估工具被引量：33
《软件学报》2011年第6期1252-1266,共15页董云卫 王广仁 张凡 高磊 
国家自然科学基金(60736017);国家高技术研究发展计划(863)(2009AA01Z147);西北工业大学基础研究基金(JC200917)
主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式...
关键词：AADL 可靠性模型 GSPN 可靠性分析与评估 形式化方法 
XML数据索引技术被引量：55
《软件学报》2005年第12期2063-2079,共17页孔令波 唐世渭 杨冬青 王腾蛟 高军 
国家高技术研究发展计划(863)~~
对XML数据建立有效的索引,是左右XML数据处理性能的重要因素.深入地讨论了目前XML索引技术的研究现状,将XML索引技术分为两大类:节点记录类索引(本身还可以分为3个小的类型)和结构摘要类索引.根据XML数据查询处理效率以及XML数据修改对...
关键词：XML索引 区间编码 B-E-L模型 节点赋数 双似 k阶双似 结构摘要 XML数据修改 增量式验证 XML信息获取 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部