位置：成果数据库 > 期刊 > 期刊详情页
UNITY与典型程序设计模型的比较
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]中国科学院软件研究所计算机科学重点实验室，北京100080, [2]江西师范大学计算机科学系，南昌330027
  • 相关基金：国家自然科学基金资助项目(编号:60273092)
作者： 肖美华[1], 薛锦云[1], 化志章[2]
关键词： 程序设计模型, UNITY形式语义, 程序转换, Seuss
中文摘要：

UNITY是一种简单统一的理论、计算模型和证明系统，而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上，分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别，并给出它们对应的等价UNITY程序转换，最后，介绍Seuss对完善UNITY的新策略。

同期刊论文项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目期刊论文
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887