期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于MDA和可执行形式化的可信软件设计 被引量：1
1
作者 唐艳 杜玉越 刘伟 《计算机工程》 CAS CSCD 北大核心 2009年第19期138-140,共3页
提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
关键词 可执行形式化 PETRI网 可信软件体系 模型驱动的体系结构
下载PDF
INFORMIX存储过程
2
作者 孟方涛 《中国金融电脑》 1996年第10期62-64,共3页
ＩＮＦＯＲＭＩＸ存储过程工商银行河北省保定市分行孟方涛在ＩＮＦＯＲＭＩＸ６．０版本之后，提供了一个新的ＳＱＬ工具──存储过程，它是一种控制ＳＱＬ活动的有效工具，是由一组存储过程语言（ＳｔｏｒｅｄＰｒｏｃｅｄｕｒｅＬａ... ＩＮＦＯＲＭＩＸ存储过程工商银行河北省保定市分行孟方涛在ＩＮＦＯＲＭＩＸ６．０版本之后，提供了一个新的ＳＱＬ工具──存储过程，它是一种控制ＳＱＬ活动的有效工具，是由一组存储过程语言（ＳｔｏｒｅｄＰｒｏｃｅｄｕｒｅＬａｎｇｕａｇｅ──ＳＰＬ）和ＳＱＬ语... 展开更多
关键词 存储过程 INFORMIX 循环语句 嵌入式语言 数据库查询 可执行形式 参数传递 返回值 表达式 过程变量
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部