基于MDA和可执行形式化的可信软件设计
| Data(s) |
2009
|
|---|---|
| Resumo |
提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
唐艳;杜玉越;刘伟.基于MDA和可执行形式化的可信软件设计,计算机工程,2009,35(19):138-140 |
| Palavras-Chave | #可执行形式化 |
| Tipo |
期刊论文 |
