您的位置： 专家智库 > >

钱家骅

作品数：7 被引量：4H指数：2
供职机构：复旦大学计算机科学技术学院更多>>
发文基金：国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇会议论文

领域

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

主题

  • 3篇程序设计
  • 2篇软件工程
  • 2篇数据类
  • 2篇数据类型
  • 2篇程序语言
  • 1篇代数规范
  • 1篇对象模型
  • 1篇形式化
  • 1篇属性文法
  • 1篇人工智能
  • 1篇专家系统
  • 1篇自动化
  • 1篇自动化系
  • 1篇自动化系统
  • 1篇结构数据
  • 1篇监测技术
  • 1篇非局部
  • 1篇非线性
  • 1篇分析器
  • 1篇PASCAL...

机构

  • 7篇复旦大学

作者

  • 7篇钱家骅
  • 4篇徐智晨
  • 2篇金立群
  • 1篇陆奇
  • 1篇郑勇
  • 1篇吕建国
  • 1篇刘畅
  • 1篇洪梅
  • 1篇田忠

传媒

  • 1篇计算机学报
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇全国软件理论...
  • 1篇中国计算机学...

年份

  • 1篇1996
  • 1篇1994
  • 1篇1993
  • 2篇1992
  • 1篇1989
  • 1篇1987
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
对结构数据类型变量的监测技术
1989年
本文在设计与实現程序设计环境FPE/1中的变量监测功能的基础上,利用窗口复盖与显示技术,提出了对结构化的数据类型,如记录,数组,集合等类型的变量监测方法,使之成为一种有效的排错手段。
陆奇徐智晨钱家骅
关键词：数据类型PASCAL
全文增补中
增量静态语义分析的一个对象模型被引量：2
1994年
本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．
徐智晨钱家骅
关键词：PASCAL语言对象模型
软件自动化系统FSA
钱家骅金立群洪梅
关键词：软件工程程序设计人工智能专家系统自动化
需求工程的形式化途径被引量：2
1992年
1.引言需求工程是软件工程的初始阶段,其总的目标是从用户的模糊而又不完整的要求生成准确的、完整的规格说明。需求工程的研究主要有形式化途径和非形式化途径。
钱家骅吕建国洪梅徐智晨陈锋田忠郭孝洪刘畅
关键词：形式化软件工程
具有实例学习功能的增量逆句法分析器的设计
1993年
本文介绍了一种具有实例学习功能的增量逆句法分析工具的构造技术.文中采用属性文法描述程序设计语言的排版信息.文中的排版属性和排版风格信息的表示具有很好的语言独立性.特别,排版属性集与属性计值过程还具有产生式独立性.文中的方法可为开发句法制导的编辑工具、混合的编辑工具、程序美观排版工具提供性能优良的逆句法分析程序.特别由于文中排版信息描述与计值过程的语言独立性与产生式独立性使得文中的方法还可以用于构造通用的逆句法分析工具.＊
徐智晨钱家骅
关键词：分析器
非线性代数规范的直接实现技术
1996年
代数规范（ＡｌｇｅｂｒａｉｃＳｐｅｃｉｆｉｃａｔｉｏｎ）是支持软件规格说明和设计的一种有效的方法．代数规范的直接实现技术（将一个代数规范转换为一个程序设计语言的具体实现的技术）是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范．本文介绍一个实现非线性代数规范的转换过程，从该过程可自然地导出针对不同程序设计语言的转换系统．我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统．
金立群钱家骅
关键词：非线性代数规范数据类型程序语言程序设计
基于非局部属性计值交互式环境中的非局部依赖关系的实现
文法作为一种描述程序设计语言语义的工具在交互式环境中有着广泛的应用。相应多的一部分交互式环境是基于属性计值实现的，然而传统的属性文法具有很大的局限性，它要引进大量的复制规则链，导致很多严重的时间和空间效率问题。为此作者扩...
郑勇钱家骅
关键词：程序设计程序语言属性文法
全选 清除 导出
共1页<1>
聚类工具0