节点文献
软件工程环境用户接口的形式描述与自动生成
FORMAL DESCRIPTION AND AUTOMATIC GENERATION OF THE UNIFIED USER INTERFACE IN SOFTWAR EENGINEERING ENVIRONMENT
【摘要】 本文讨论集成软件工程环境中统一用户接口的特点及其重要性,定义用户接口的一种抽象模型——回潮自动机,给出用户接口的形式描述方法.最后介绍在Unix程序设计环境中实现的一个实用的用户接口自动生成系统.
【Abstract】 In this paper, the importance and features of the unified user interface in the integreted software engineering environment are discussed. An abstract model of user interface, Look Back Automata (LBA), is defined and a formal method for describing user interface is given. Finally a practical generator of user interface developed in Unix Programming Environment is introduced.
【基金】 国家自然科学基金
- 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,1988年10期
- 【被引频次】7
- 【下载频次】39