咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 模板重用
  • 1 篇 领域特定语言
  • 1 篇 联锁系统
  • 1 篇 报表打印
  • 1 篇 形式化建模
  • 1 篇 随机混成自动机
  • 1 篇 设计
  • 1 篇 生成器

机构

  • 1 篇 上海市高可信计算...
  • 1 篇 卡斯柯信号有限公...
  • 1 篇 北京航空航天大学

作者

  • 1 篇 孙海英
  • 1 篇 赵梦瑶
  • 1 篇 郭江
  • 1 篇 陈良育
  • 1 篇 陈小红
  • 1 篇 周庭梁
  • 1 篇 廖越虹
  • 1 篇 刘静

语言

  • 2 篇 中文
检索条件"主题词=模板重用"
2 条 记 录,以下是1-10 订阅
排序:
轨道交通联锁领域特定语言的形式化
收藏 引用
软件学报 2020年 第6期31卷 1638-1653页
作者: 赵梦瑶 陈小红 孙海英 刘静 陈良育 周庭梁 上海市高可信计算重点实验室(华东师范大学) 上海200062 卡斯柯信号有限公司 上海200071
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题... 详细信息
来源: 评论
一个模板重用的实例──报表打印生成器的设计与实现
收藏 引用
计算机系统应用 1994年 第1期3卷 35-38页
作者: 郭江 廖越虹 北京航空航天大学软件工程研究所
本文从软件重用的方法──模板重用的角度出发,讨论了一个实用的应用生成器──通用报表打印应用生成器的设计,并详细给出了它的实现技术,以使其具有广泛性和通用性。该应用生成器是一个实现了的软件工具,具有很好的可移植性。
来源: 评论