您的位置： 专家智库 > >

庞健雄

作品数：6 被引量：8H指数：2
供职机构：桂林电子工业学院更多>>
发文基金：电科院预研基金广西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化方法
  • 2篇嵌入式
  • 2篇面向对象
  • 2篇STATEC...
  • 1篇有限状态机
  • 1篇语法
  • 1篇软件工程
  • 1篇软件开发
  • 1篇实时数据
  • 1篇实时数据库
  • 1篇实时数据库系...
  • 1篇实时系统
  • 1篇数据结构
  • 1篇数据库
  • 1篇数据库系统
  • 1篇启发式教学
  • 1篇嵌入式实时数...
  • 1篇嵌入式实时数...
  • 1篇嵌入式实时系...

机构

  • 6篇桂林电子工业...

作者

  • 6篇庞健雄
  • 5篇古天龙
  • 4篇蔡国永
  • 1篇唐稳
  • 1篇董荣胜
  • 1篇钱俊彦

传媒

  • 5篇桂林电子工业...
  • 1篇微型机与应用

年份

  • 6篇1999
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
控制系统软件的方法论设计被引量：3
1999年
现代计算机技术、ＶＬＳＩ技术的发展为复杂、高级控制系统的实现提供了良好的机遇，而这一机遇却被该类系统设计过程中所遇到的困难所平衡。控制系统软件的设计与开发则是所要克服的主要困难之一。从软件工程角度提出了控制系统软件的方法论设计思想，并对有关问题进行了讨论。
古天龙蔡国永庞健雄
关键词：控制软件软件工程形式化方法控制系统
StateCharts规格创建工具的面向对象设计和实现被引量：1
1999年
将ＳｔａｔｅＣｈａｒｔｓ规格语言和面向对象的软件开发技术两者结合起来，以面向对象的思想作为设计和实现策略，对ＳｔａｔｅＣｈａｒｔｓ规格工具的设计和实现进行了研究，并且对已经完成的部分作出了总结性论述，具体地给出系统的类层次结构图。
唐稳庞健雄蔡国永古天龙
关键词：面向对象嵌入式实时系统软件开发
Statechart规格环境项目管理模型设计与实现
1999年
Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对 Ｓｔａｔｅｃｈａｒｔ行为建模的需要，设计并已部分实现基于 Ｓｔａｔｅｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。
蔡国永古天龙庞健雄
关键词：STATECHART
嵌入式实时数据库系统及其相关问题被引量：1
1999年
嵌入式实时数据库系统（ＥＲＴＤＢＳ）的特性、与传统数据库系统的区别，并对今后值得重视和研究的问题进行了探讨。
董荣胜古天龙庞健雄
关键词：并发控制数据库系统计算机
数据结构的课程改革
1999年
对数据结构课程建设进行前期研究，是根据多年来向本科生讲授该课程的教学经验，所提出的数据结构课程改革应该从两方面着手，一是进行启发式教学，二是把结构化程序设计方式的算法描述为采用面向对象范型，这两个方面都是当前改革的最迫切的内容。
庞健雄
关键词：数据结构启发式教学结构化程序设计面向对象
Statechart规格语言的语法分析研究被引量：3
1999年
Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上， Ｓｔａｔｅｃｈａｒｔ 满足层次的描述，包括高层和低层事件，更显著地是采用广播通信机制产生连锁反应而引起多层并发。通过对 Ｓｔａｔｅｃｈａｒｔ语言进行了分析研究后给出了其形式化文法表示。在此基础上，讨论了 Ｓｔａｔｅｃｈａｒｔ规格语言语法正确性分析的问题。
钱俊彦蔡国永古天龙庞健雄
关键词：有限状态机STATECHART形式化方法可视化语言
全选 清除 导出
共1页<1>
聚类工具0