资料下载 › 论文 › 包含缺省的Z规约演化_一种可操作的方法 - 2008年中国信 ...

包含缺省的Z规约演化_一种可操作的方法 - 2008年中国信息技术与应用学术论坛.pdf

6 0

2026-1-12 10:17 | 查看全部阅读模式

会议论文《包含缺省的Z规约演化_一种可操作的方法》探讨了在软件工程中如何处理Z规约中的缺省值问题。该文提出了一种可操作的方法，用于演化包含缺省的Z规约，以适应系统需求的变化。通过引入形式化方法，作者旨在提高规约演化的可靠性和有效性，为软件开发提供更坚实的理论基础。

文档为pdf格式，0.23MB，总共3页。

包含缺省的Z规约演化_一种可操作的方法 - 2008年中国信息技术与应用学术论坛.pdf

文件大小:: 235.52 KB

高速下载

国信, 一种, 规约, 缺省, 演化

相关文档

• 一种高效率阀控铅酸蓄电池组均衡电路的设计 - 中国电机工程学会第十届青年学术会议.pdf
• 一种高效利用移动节点接入带宽策略 - 辽宁省通信学会2008年通信网络与信息技术年会.pdf
• 一种高效的基于图的MLCA求解方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种高效的基于排序二叉树的数据流挖掘算法 - 2008年全国理论计算机科学学术年会.pdf
• 一种高性能IAFCCM第三代电流传输器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高双折射光子晶体光纤模场和偏振特性研究 - 第三届全国光机电技术与系统集成学术学会第十三届全国光电技术与系统学术会议.pdf
• 一种高性能DDS的算法研究和实现 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高增益高带宽全差分放大器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高增益AB类全差分运算放大器的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高性能9_7离散小波变换滤波器的硬件设计 - 中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会.pdf
• 一种高分辨率引信技术研究 - 第七届全国毫米波亚毫米波学术会议.pdf
• 一种高压运算放大器的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种颗粒材料光学常数的反演方法 - 中国工程热物理学会2008年传热传质学学术会议.pdf
• 一种高Tg不流动半固化片的研制及应用研究 - 第八届全国印制电路学术年会.pdf
• 一种高Tg不流动半固化片的研制及应用研究 - 2008中日电子电路秋季大会暨秋季国际PCB技术_信息论坛.pdf
• 一种高PSR大电流的低压差线性稳压器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种预测蠕变裂纹扩展的新参量 - 第十四届全国疲劳与断裂学术会议.pdf
• 一种频率选择性衰落信道下空时分组码的译码算法 - 中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会.pdf
• 一种音频功率放大器测试方案设计 - 第五届中国测试学术会议.pdf
• 一种面向雷达组网仿真的快速体绘制方法 - 全国第15届计算机辅助设计与图形学学术会议.pdf
• 一种面向网络管理的语义网络模型 - 第十三届全国青年通信学术会议.pdf
• 一种面向近似查询的图数据库索引方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向计算的对象分解策略 - 全国Web信息系统及其应用学术会议、全国语义Web与本体论学术研讨会暨全国电子政务技术与应用学术研讨会.pdf
• 一种面向隐私保护的安全多方计算协议 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向网络安全的序列模式挖掘方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向空间认知的RT模型 - 2008年全国开放式分布与并行计算学术年会.pdf
• 一种面向网络入侵检测的特征选择方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向用户需求的动态服务流程构造方法 - 全国Web信息系统及其应用学术会议、全国语义Web与本体论学术研讨会暨全国电子政务技术与应用学术研讨会.pdf
• 一种面向用户端多视点系统中的快速视差求精算法 - 第21届电路与系统学术年会.pdf
• 一种面向移动设备的实时足球视频智能播放方案 - 第五届数字电视与无限多媒体通信国际论坛.pdf
• 一种面向科学数据的通用排重模型 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向特征的领域建模方法研究 - 2008中国计算机大会.pdf
• 一种面向涉密信息系统的风险评估方法研究 - 全国第19届计算机技术与应用学术会议(CACIS·2008).pdf
• 一种面向海量三维人体运动数据库的索引方法 - 第五届智能CAD与数字娱乐学术会议.pdf
• 一种面向汇聚网络处理器模型的负载均衡算法 - 2008年全国理论计算机科学学术年会.pdf
• 一种面向流分类的特征选择算法 - 第四届全国信息检索与内容安全学术会议.pdf
• 三维重建中的一种鲁棒图像匹配方法 - 第19届中国过程控制会议.pdf
• 两场网格数据传递方法及在工程有限元计算中的应用 - 2008年中国信息技术与应用学术论坛.pdf
• 中医古方挖掘_一种频繁药组发现与功效标注算法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 中小型凝汽式或抽凝式汽轮机改造成背压式汽轮机的一种新方法 - 2008年全国热工节能减排技术交流会.pdf
• 中间件的概念、分类与发展 - 2008年中国信息技术与应用学术论坛.pdf
• 中继协作通信中一种新的网络编码协作策略 - 2008年中国通信学会无线及移动通信委员会学术年会.pdf
• 中立型变时滞细胞神经网络的渐近稳定性分析 - 2008年中国信息技术与应用学术论坛.pdf
• 二维条形码图像轮廓的一种快速提取算法 - 第19届中国过程控制会议.pdf
• 二维图形渐变顶点对应算法综述 - 2008年中国信息技术与应用学术论坛.pdf
• 五阶非线性光纤中暗孤子的演化特性 - 第二届红外成像系统仿真、测试与评价技术研讨会.pdf
• 京津冀都市区空间演化轨迹及影响因素分析 - 北京奥运国际论坛2008大会.pdf
• 介绍一种统一测控车载系统 - 第十五届全国遥测遥控技术年会.pdf
• 介绍一种电磁屏蔽系数测量法——直接干扰法 - 中国电工技术学会电线电缆专业委员会2008年学术年会.pdf
• 介绍一种生产冲挤用铝合金坯料的优秀工艺 - 2008中国铝板带箔加工技术与装备研讨会.pdf
• 人脸检索中一种新的光照补偿方法 - 第四届和谐人机环境联合学术会议.pdf
• 从软硬件设计角度看地铁CVM所引发的健壮性和安全性问题 - 2008年中国信息技术与应用学术论坛.pdf
• 企业信用信息管理系统的设计与实现 - 2008年中国信息技术与应用学术论坛.pdf
• 企业信息检索的可信性评估研究 - 2008年中国信息技术与应用学术论坛.pdf
• 传感器聚簇网络中一种面向感知数据的变长窗口动态调整技术 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 传感器网络中一种逆向时间同步算法的探讨 - 河南省计算机学会2008年学术年会.pdf
• 传感器网络中一种混合密钥管理方案 - 第十六届全国网络与数据通信学术会议(NDCC2008).pdf
• 体育选课系统应用功能的设计及在教学管理中的作用 - 2008年中国信息技术与应用学术论坛.pdf
• 体内血栓形成测定信息的计算机管理 - 2008年中国信息技术与应用学术论坛.pdf
• 便携式屋面固定架--介绍一种为外墙清洗作业座板式单人吊具配套的专用固定架 - 第一届全国清洗行业安全技术暨业务研讨会.pdf
• 保留数据语义约束的关系模式到XML模式的映射 - 2008年中国信息技术与应用学术论坛.pdf
• 信息流的度量分析 - 2008年中国信息技术与应用学术论坛.pdf
• 信息技术校本课程建设的探讨 - 2008年中国信息技术与应用学术论坛.pdf
• 信息技术在职业教育中校企合作间的应用 - 2008年中国信息技术与应用学术论坛.pdf
• 偶数元最优代数免疫布尔函数的一种构造方法 - 中国密码学会2008年年会.pdf
• 全光波长变换的OptiSystem实现 - 2008年中国信息技术与应用学术论坛.pdf
• 入侵检测系统中一种改进的BP算法 - 第一届研究生IT创新学术论坛.pdf
• 公安政法院校计算机专业课程改革的探讨 - 2008年中国信息技术与应用学术论坛.pdf
• 关于C语言教学的一点体会 - 2008年中国信息技术与应用学术论坛.pdf
• 关于本体语义描述网格服务的研究 - 2008年中国信息技术与应用学术论坛.pdf
• 关于玻璃缺陷在线检测系统的初步研究 - 2008年中国信息技术与应用学术论坛.pdf
• 关联规则经典算法的一种改进 - 中国通信学会第五届学术年会.pdf
• 关联规则的评价体系 - 2008年中国信息技术与应用学术论坛.pdf
• 决策树学习算法的一种优化 - 2008年中国智能系统工程学术大会.pdf
• 几种典型汉字编码之间转换的原理与实现 - 2008年中国信息技术与应用学术论坛.pdf
• 分布式流媒体元数据的多重反射机制探讨 - 2008年中国信息技术与应用学术论坛.pdf
• 分布式IDS报警聚合研究与实现 - 2008年中国信息技术与应用学术论坛.pdf
• 刚玉质低水泥浇注料基质高温演化行为研究 - 第十一届全国耐火材料青年学术报告会.pdf
• 利用数据库触发器实现自动定时报表 - 2008年中国信息技术与应用学术论坛.pdf
• 利用弯曲强度测试装置进行泡沫衬垫弹性模量测试的一种方法 - 2008年中国工程塑料复合材料技术研讨会.pdf
• 利用工矿区简易定位系统快速补测图根控制点的一种方法 - 河北省煤炭工业行业协会、河北省煤炭学会2008年总工程师会议暨采煤专业委员会学术会议.pdf
• 利用网络平台扩展大学计算机课程教学的新探索 - 2008年中国信息技术与应用学术论坛.pdf
• 制造过程资源环境属性的一种综合评价方法及应用 - 全国高等学校制造自动化研究会第十三届学术年会.pdf
• 动态规划算法正序实现及其改进 - 2008年中国信息技术与应用学术论坛.pdf
• 医疗卫生信息平台中的软件架构技术研究 - 2008年中国信息技术与应用学术论坛.pdf
• 单元机组协调控制系统的一种工程化设计方法 - 2008电站热工控制研讨会暨自动化信息化技术交流年会.pdf
• 参数未知的永磁同步电机混沌运动的一种控制方法 - 第19届中国过程控制会议.pdf
• 双向播控多媒体教学系统设计与研究 - 2008年中国信息技术与应用学术论坛.pdf
• 变工况下板翅式换热器有效换热面积的一种计算方法 - 中国化工学会2008年化工机械年会.pdf
• 可信软件的一种可靠性建模方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 启发式算法求最短路径的一种高效率实现方法 - 2007年北京地区高校研究生学术交流会.pdf
• 噪声背景下连续语音信号分割的一种新方法 - 2008全国博士生学术论坛——电气工程.pdf
• 园林——明清文人病态美学表现之一种 - 第六届全国建筑与规划研究生年会.pdf
• 图像序列分析中一种有效的背景重构算法 - 第六届全国信息获取与处理学术会议.pdf
• 图书馆查询机维护探析 - 2008年中国信息技术与应用学术论坛.pdf
• 城市交通协调控制的一种优化方法 - 2008江苏省自动化学会学术年会.pdf
• 基于.Net的钻机性能综合测试系统的设计与实现 - 2008年中国信息技术与应用学术论坛.pdf
• 基于.NET的重庆永川职教中心综合管理系统的设计与实现 - 2008年中国信息技术与应用学术论坛.pdf
• 基于 MAS 构件技术的知识复用动态演化模型研究 - 第四届和谐人机环境联合学术会议.pdf
• 培养学生程序设计能力与创新能力的研究与实践 - 2008年中国信息技术与应用学术论坛.pdf

热门分类

法规
地方标准
团体标准
其他标准
工业技术
参考文献
新能源行业
电力行业
商务办公
建筑工程
打包下载
软件工具