基于MDA和可执行形式化的可信软件设计
文献类型：期刊论文
| 作者 | 唐艳 ; 杜玉越 ; 刘伟 |
| 刊名 | 计算机工程
 |
| 出版日期 | 2009 |
| 卷号 | 35期号:19页码:138-140 |
| 关键词 | 可执行形式化 |
| ISSN号 | 1000-3428 |
| 其他题名 | design of trusted software based on mda and executable formalization |
| 中文摘要 | 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险. |
| 收录类别 | 其他 |
| 语种 | 中文 |
| 公开日期 | 2011-03-18 |
| 源URL | [http://124.16.136.157/handle/311060/8116]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 唐艳,杜玉越,刘伟. 基于MDA和可执行形式化的可信软件设计[J]. 计算机工程,2009,35(19):138-140. |
| APA | 唐艳,杜玉越,&刘伟.(2009).基于MDA和可执行形式化的可信软件设计.计算机工程,35(19),138-140. |
| MLA | 唐艳,et al."基于MDA和可执行形式化的可信软件设计".计算机工程 35.19(2009):138-140. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。