| 题名: | 基于MDA和可执行形式化的可信软件设计 |
| 其他题名: | design of trusted software based on mda and executable formalization
|
| 作者: | 唐艳
; 杜玉越
; 刘伟
|
| 关键词: | 可执行形式化
|
| 刊名: | 计算机工程
|
| 发表日期: | 2009
|
| 卷: | 35, 期:19, 页:138-140 | | 收录类别: | 其他
|
| 部门归属: | 山东科技大学信息科学与工程学院,青岛,266510;山东科技大学信息科学与工程学院,青岛,266510;中国科学院软件研究所计算机科学国家重点实验室,北京100080;山东科技大学信息科学与工程学院,青岛,266510
|
| 摘要: | 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8116
|
| Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于MDA和可执行形式化的可信软件设计.pdf（277KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
唐艳,杜玉越,刘伟. 基于MDA和可执行形式化的可信软件设计[J]. 计算机工程,2009-01-01,35(19):138-140.
|
|
|
