Institutional Repository
| 基于MDA和可执行形式化的可信软件设计 | |
| Alternative Title | design of trusted software based on mda and executable formalization |
| 唐艳; 杜玉越; 刘伟 | |
| 2009 | |
| Source | 计算机工程
 |
| ISSN | 1000-3428 |
| Volume | 35Issue:19Pages:138-140 |
| English Abstract | 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险. |
| Indexed Type | 其他 |
| Keyword | 可执行形式化 |
| Department | 山东科技大学信息科学与工程学院,青岛,266510;山东科技大学信息科学与工程学院,青岛,266510;中国科学院软件研究所计算机科学国家重点实验室,北京100080;山东科技大学信息科学与工程学院,青岛,266510 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8116 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于MDA和可执行形式化的可信软件设计.（277KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment