李友仁
- 作品数：8 被引量：5H指数：1
- 供职机构：西安交通大学电子与信息工程学院计算机科学与技术系更多>>
- 相关领域：自动化与计算机技术更多>>
- 多功能二级语法分析器自动生成系统的理论与实现
- 1991年
- 本文系统地论述了二级语法分析器的概念与理论。扼要地叙述了多功能二级语法分析器自动生成系统的设计与实现。
- 李友仁顾元祥
- 关键词：语法分析器自动生成系统
- 支持面向对象分析的开发工具——OOATOOL的研究与实现
- 1997年
- 本文在分析了当前较流行的三种面向对象分析方法的基础上，提出了一种从规格说明书开始作面向对象分析的方法，并设计和实现了支持该方法的转换工具——ＯＯＡＴＯＯＬ。
- 王文联李友仁夏良
- 关键词：面向对象分析软件开发
- 关于二级语法分析器的自动生成系统
- 1991年
- 二级文法是在LR(k)文法基础上发展起来的一种新的程序语言文法。本文系统地讨论了二级文法的概念、理论和基于二级文法的语法分析器自动生成系统的关键算法。
- 李友仁
- 关键词：语法分析器自动生成系统程序语言
- 程序转换技术－从Prolog到C被引量：5
- 1994年
- 本文讨论了高级程序设计语言之间的转换问题。提出了从Ｐｒｏｌｏｇ到Ｃ转换的语义解释方法，并应用该方法成功地开发了Ｐｒｏｌｏｇ到Ｃ的自动转换系统。
- 李友仁胡勇新杨萍张勇
- 关键词：C语言PROLOG语言
- 关于编译程序测试的若干问题
- 1990年
- 一、编译程序测试的目标和特点对软件系统进行测试的主要方法是通过设计测试实例,执行程序和分析运行结果来发现软件系统的错误。编译程序测试的方法与上述方法相同,但编译程序测试的依据是语言标准文本,而不是通常的软件规格说明;测试实例是由一组源程序组成。
- 李友仁
- COBOL程序测试环境CPTS-1的设计与实现
- 1989年
- CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。
- 李友仁刘少英
- 关键词：COBOL语言测试环境
- 产生式软件开发工具
- 1990年
- 软件开发分为需求分析、设计、编码和测试四个阶段,每个阶段已有相应的描述工具,但到目前为止还未出现能描述开发过程中各个阶段文档的统一工具。本文提出了一种能够应用于软件开发各阶段的产生式软件开发工具,并从以下三个方面详细阐述了这种工具的本质和用途。第一,产生式开发工具的形式定义。第二,产生式开发工具在描述需求分析、初步设计、详细设计及测试计划等阶段的应用。第三,将产生式开发工具同以往的结构化描述工具进行比较,提出了今后进一步研究的方向。
- 刘少英李友仁
- 关键词：产生式软件开发
- 关于真值维护系统TMS的研究
- 1993年
- 本文系统地论述了几类典型的TMS系统,对它们进行分析和比较.最后简要地叙述近年来在该领域中的—些重要研究动向.
- 李友仁梁力
- 关键词：TMS
