位置：成果数据库 > 期刊 > 期刊详情页
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
  • 期刊名称：International Journal of Computer
  • 时间：0
  • 页码：29-35
  • 语言：英文
  • 相关项目：基于PAR平台的信息系统应用软件若干共性关键技术研究
作者： 薛锦云|石海鹤|
同期刊论文项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目期刊论文
组合优化问题简约与算法推演
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
若干算法程序的形式化推导与生成技术研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
一组基于PAR的高可靠查找算法程序开发
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述