您的位置： 专家智库 > >

胡启敏

作品数：14 被引量：141H指数：6
供职机构：江西师范大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划江西师范大学青年成长基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 4篇会议论文
  • 1篇学位论文

领域

  • 13篇自动化与计算...
  • 1篇文化科学

主题

  • 6篇形式化
  • 4篇PAR方法
  • 3篇程序设计
  • 2篇递推
  • 2篇递推关系
  • 2篇形式化方法
  • 2篇形式化描述
  • 2篇形式化推导
  • 2篇架构
  • 2篇J2EE
  • 1篇代理
  • 1篇定理
  • 1篇定理证明
  • 1篇形式化验证
  • 1篇形式语义
  • 1篇循环不变式
  • 1篇语义约束
  • 1篇园网建设
  • 1篇智能教学
  • 1篇软件AGEN...

机构

  • 14篇江西师范大学
  • 3篇中国科学院软...
  • 3篇江西省高性能...
  • 1篇北京大学
  • 1篇武汉大学
  • 1篇华东交通大学

作者

  • 14篇胡启敏
  • 10篇薛锦云
  • 4篇钟林辉
  • 3篇游珍
  • 1篇江东明
  • 1篇宋岚
  • 1篇石海鹤
  • 1篇左正康
  • 1篇谢冰
  • 1篇王昌晶
  • 1篇谢武平
  • 1篇吕明琪

传媒

  • 2篇计算机应用研...
  • 2篇计算机工程与...
  • 1篇燕山大学学报
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇江西师范大学...
  • 1篇计算机科学
  • 1篇2005年全...
  • 1篇2007全国...
  • 1篇第七届全球华...

年份

  • 1篇2019
  • 1篇2018
  • 1篇2017
  • 3篇2008
  • 3篇2007
  • 1篇2006
  • 2篇2005
  • 2篇2003
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于J2EE的程序设计智能教学软件平台研究
当今世界已迈入信息化时代，各行各业都急需熟练掌握计算机程序设计的技术人员。目前，国际国内出现了许多计算机程序设计的CAI软件，但是这些CAI软件大多数只是简单地停留在教授程序语言的语法的基础上，忽略了对学习者程序设计能力...
胡启敏
文献传递
PAR平台中若干软件构件形式化验证技术研究被引量：8
2018年
PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。
胡启敏薛锦云游珍程着
关键词：形式语义定理证明PAR平台循环不变式
若干算法程序的形式化推导与生成技术研究被引量：7
2008年
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.
胡启敏薛锦云
关键词：PAR方法形式化推导递推关系
依赖注入技术及其执行过程的形式化描述
依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中.本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程.
胡启敏薛锦云钟林辉
关键词：网络架构软件开发
文献传递网络资源链接
无线射频RFID识别协议自动验证方法研究被引量：3
2017年
Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。
宋岚薛锦云胡启敏谢武平江东明游珍
关键词：POPULATIONRFIDSPIN
程序设计ICAI环境的生成策略
本文以我们承担的两个国家自然科学基金高技术探索项目研究为背景。实现了一个新型程序设计ICAI平台。该平台以程序设计方法学和算法程序设计、证明、推导的PAR方法为主要内容，可根据教师和学生的实际需求生成对应的教师施教和学生...
胡启敏薛锦云
关键词：程序设计PAR方法软件代理校园网建设
文献传递
基于软件体系结构的可复用构件模型被引量：18
2008年
在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用。
吕明琪薛锦云胡启敏
关键词：软件复用软件体系结构
Solving Path Problems with Component Composition
＜正＞Component-based software engineering is a reuse-based approach to defining, implementing and composing loos...
胡启敏薛锦云
关键词：CBSESEMIRINGPAR
文献传递
若干算法程序的形式化推导与生成技术研究
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性...
胡启敏薛锦云
关键词：PAR方法形式化推导递推关系自动生成
文献传递
依赖注入技术及其执行过程的形式化描述被引量：8
2005年
依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系,将被调用构件实例化,并注入到调用构件之中。本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。
胡启敏薛锦云钟林辉
关键词：完全格形式化方法
全选 清除 导出
共2页<12>
聚类工具0