位置：成果数据库 > 期刊 > 期刊详情页
General-Service Ballistic Computer Programming Based on B-Method
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TJ012[兵器科学与技术—兵器发射理论与技术]
  • 作者机构：[1]Institute of Software, Chinese Academy of Sciences, Beijing 100080, China, [2]Armament Demonstration and Research Center, Beijing 100034, China, [3]System Engineering Research Institute of Engineer Equipment, Beijing 100093, China, [4]College of Computer Information Engineering, Jiangxi Normal University, Nanchang 330027 Jiangxi, China
  • 相关基金：Sponsored by National Natural Science Foundation （60273092, 60573080） and National Grand Fundamental Research 973 Program of China （2003CCA02800）
作者： 郑宇军[1,3], 张子丘[2], 王金全[3], 薛锦云[1,4]
关键词： 抽象机, 精化, 弹道, 程序设计, B-Method, ballistic computer, programming, abstract machine（AM）, refinement
同期刊论文项目
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目期刊论文
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于Multi-Agent的装备保障决策支持系统
使用SPEC#开发高可靠性的算法程序
循环不变式开发新策略及其应用
最小生成树算法的PAR方法形式化推导
基于JATLite代理平台的程序设计ICAI的实现
形式化开发若干组合数学问题的算法
Toward a Unified Implementation for Dynamic Programming
Implementation of programming ICAI based on JATLite agent platform
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
使用SPEC#开发高可靠性的物流信息系统
Apla-Java 可重用部件库并行、并发机制的研究
0-1背包问题的一种新解法
Implementing Templated Design Patterns: A Category Theoretic Approach.
关系代数派生算子语义表达式问等价性证明
形式推导支持的递归程序向非递归程序的转换
软件模型检测新技术研究
算法程序变换研究与进展
形式化开发Hanoi塔问题非递归算法
形式化方法Designware、B的比较
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
形式化方法Designware及其规约精化机理
一种基于Java可重用部件库的多核程序开发方法
开发等式比较SQL查询语句的一种模型推理方法
PAR平台从规约出发的算法推导与自动生成
一种自动的形式化验证技术-模型检测
一种形式化开发非递归算法的方法
基于PAR的算法形式化开发
一组基于PAR的高可靠查找算法程序开发
基于模式的并行编程环境中任务队列模式的研究与实现
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349