-
题名面向对象的组合软件工程研究
被引量：18
- 1
-
-
作者
冯玉琳
黄涛
武小鹏
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
1996年第3期237-240,F003,共5页
-
基金
国家自然科学基金
-
文摘
组合软件工程技术是当今软件工程技术发展的主流．本文综述了作者在基于对象的组合软件工程研究方面的最新进展，包括语义模型、描述语言、设计方法学和支持环境等方面．
-
关键词
组合软件
软件工程
面向对象
-
Keywords
Component software, component software engineering, object, software process control.
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名树木的整体性运动及树内部风场的研究
被引量：9
- 2
-
-
作者
冯金辉
严涛
陈彦云
吴恩华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
澳门大学科学技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第3期363-367,共5页
-
基金
国家自然科学基金!(No.6 98730 44 )
-
文摘
树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟 .该文提出一个深度优先的数值积分遍历算法 ,把树作为一个整体考虑 ,求得整棵树协调一致的位移 ,较好地表现了树的整体动感 .此算法作为一个整体性算法也可推广用于其他树种的模拟 .另外 ,文章还分析了枝条对风的遮挡关系 ,包括过遮挡、孔洞、狭长缝隙及透射 .基于 Z- buffer算法思想对这些遮挡关系进行了处理 ,取得了令人满意的效果 .
-
关键词
计算机动画
树
模拟
风场
数值积分
-
Keywords
Physically based, computer animation, tree, simulation, wind field, depth first, numerical integral.
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名文法推断研究的历史和现状
被引量：4
- 3
-
-
作者
张瑞岭
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第8期850-860,共11页
-
基金
国家自然科学基金
国家863高科技项目
国家"九五"高科技攻关项目
-
文摘
文法推断属于形式语言的归纳学习问题，它研究如何从语言的有限信息出发，通过归纳推断得到语言的语法定义．文章综述了文法推断研究的历史和现状．首先阐述文法推断的理论模型，接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法，最后简介文法推断的应用，并展望其发展趋势．
-
关键词
归纳推断
形式语言
文法推断
归纳学习
-
Keywords
Learning from examples, inductive inference, learning of formal languages, grammatical inference
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名可大规模应用的辐射度计算的自动网格化方法
被引量：1
- 4
-
-
作者
陈彦云
吴恩华
孙家广
-
机构
中国科学院软件研究所计算机科学开放研究实验室
澳门大学科技学院
清华大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第5期449-454,共6页
-
基金
国家自然科学基金
国家"九五"重点科技攻关项目基金
-
文摘
合理地网格化场景是有效地进行辐射度计算的重要前提．现有的两种主要剖分方法是细分法和阴影边界计算法．前者是在必要时对大面片进行自动细分，后者是先解析地求出阴影的区域，然后根据阴影边界进行划分．前者存在的问题是无法检测出落在大面片中间的细节变化，绘制的质量得不到保证．后一种方法又局限于基本上只能处理纯多边形场景，而且计算时间长，实现复杂，难以在工程上进行应用．文章提出一种网格化方法，它面向大规模工程应用，简便易行，并能生成较高质量的图像．这种方法先将能量接受面划分成满足精度要求的细小面元，然后根据各面元对场景中各光源的可见性特征进行合并操作，以使能量变化情况不同的区域能以不同大小的尺寸进行剖分，这样，用于计算的面片大大减少，而图像质量没有明显的降低．实验结果和统计数据表明，此方法因其简单、高效，很适合大规模的工程应用．
-
关键词
辐射度
面片
面元
网格化
图形处理
计算机
-
Keywords
Radiosity, patch, element, meshing.
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名一种用户主导的面向领域应用软件开发新方法(英文)
被引量：9
- 5
-
-
作者
李明树
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第7期863-870,共8页
-
基金
This research is supported by the National Natural Science Foundation of China (国家自然科学基金
Nos.6 97730 2 3
6 9896 2 5
-
文摘
提出一种应用软件开发的新方法 ,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法 ,强调用户在应用软件开发中的主导作用 ,试图将应用软件的开发过程变成用户详细定义过程 ,而不仅仅是传统的编程过程 .
-
关键词
软件开发
新方法
应用软件
用户工程
-
Keywords
Software engineering (SE), requirement engineering (RE), user participation, component, software architecture, reuse, user engineering (UE).
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
TP317
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时序逻辑的移动计算的形式方法分析
被引量：1
- 6
-
-
作者
魏峻
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《计算机科学》
CSCD
北大核心
2000年第6期22-27,共6页
-
基金
国家重点基础研究发展规划项目(973)的资助
-
文摘
现今,移动计算被广泛认为是一种由计算新技术支持的新计算范型,其主要特征是计算组件能与计算资源动态改变绑定关系,表现出移动性。有两类关注移动特性的计算——mobile computing研究基于无线网络的移动设备上进行的计算活动及相关问题;mobilecomputation研究基于WEB的移动程序。多项研究表明,在设计层次可以一致地抽象这两类分布式计算,统一为移动计算。尽管有很多新技术和语言支持移动计算,如Java、
-
关键词
移动计算
时序逻辑
形式方法
计算模式
-
Keywords
Mobile computing, Temporal logic, UNITY, Location. Mobility ,Transient interaction
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名对象系统的组合交互计算
- 7
-
-
作者
钱军
黄涛
冯玉琳
-
机构
中国科学院软件研究所计算机科学开放研究实验室
中国科学院软件研究所对象技术中心
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第9期1295-1303,共9页
-
基金
国家重点基础研究发展规划 973资助项目 (G19980 30 40 4)
国家自然科学基金资助项目 (6 98330 30 )~~
-
文摘
对象系统的计算是一个开放的、动态并发交互的过程 ,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成 .对象系统的行为变化是系统内、外因有机统一的具体表征 ,因此不能把对象系统的静态组合构造和动态计算行为当作两个孤立的个体分而治之 .从这个统一原则出发 ,研究了基于组合构造模型的对象系统的交互计算 .组合构造模型设计将对象系统的主要计算特征纳入一个统一的抽象基调之中 ,通过定义基调上的一组关系 ,把对象系统的层次结构和内部协同工作有机地结合在一起 .在此基础上 ,给出了一个区分动作类型的交互演算 (S/R演算 ) ,描述了组合对象系统的动态行为和交互 ,较好地刻画出对象封装性、对象计算的事件驱动性、动态绑定以及对象系统内部的交互与并发等固有特征 .
-
关键词
对象系统
S/R演算
结构化程序设计
组合交互计算
-
Keywords
Calculations
Concurrency control
Distributed computer systems
Encapsulation
Formal languages
Interactive computer systems
Mathematical models
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个软件过程可视化工具的设计与实现
被引量：1
- 8
-
-
作者
冯涛
武小鹏
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第9期830-835,共6页
-
基金
国家"863"高科技项目基金
-
文摘
文中介绍了一个软件过程模型可视化工具——项目活动管理器（ＰＡＭｅｒ）的设计与实现．基于ＰＣＬＡｇｅｎｄａ的软件过程模型，ＰＡＭｅｒ将软件开发过程可视化，从而方便人机交互，以更加形象直观的方式对开发人员的工作进行辅助、指导和监控．ＰＡＭｅｒ采用活动网络图描述软件过程模型中各种基本元素及其相互关系．系统具有多级抽象、多视口、多种工作模式等特点。
-
关键词
软件过程
软件工程
可视化工具
设计
-
Keywords
software process, activity, viewer, visualize
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名并行计算:提高SAT问题求解效率的有效方法
被引量：4
- 9
-
-
作者
金人超
黄文奇
-
机构
华中理工大学计算机科学与技术学院
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第3期398-400,共3页
-
基金
国家自然科学基金!(No.193310 5 0 )
国家 86 3高科技项目基金 !(No.86 3- 30 6 - 0 5 - 0 3- 1)
+1 种基金
国家"九五"攀登计划基金
高等
-
文摘
基于拟物拟人思想的 Solar算法是一个求解 SAT问题的快速算法 .实验和理论分析表明 ,Solar算法具有易并行化的特性 .将 Solar算法并行化可大幅度地提高求解 SAT问题的效率 .
-
关键词
并行计算
SAT问题
求解效率
Solar算法
-
Keywords
CNF (conjunctive normal formula), satisfiability, quasiphysical, quasisociological, parallel computing .
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于Bézier插值曲面的图像放大方法
被引量：37
- 10
-
-
作者
孙庆杰
张晓鹏
吴恩华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第6期570-574,共5页
-
基金
国家自然科学基金
国家863高科技项目基金
-
文摘
文章提出了一种利用Ｂéｚｉｅｒ插值曲面进行图像放大的方法，该方法是为数字图像的每一个色彩分量构造一个分块双三次Ｂéｚｉｅｒ插值Ｃ１曲面，图像放大等价于以不同的采样速率对该曲面进行采样的过程．实验结果表明，该方法可以大大改善放大图像的效果．
-
关键词
图像放大
BEZIER曲面
插值
像素子分
-
Keywords
Zoom in, Bzier surface, interpolation, acceleration, pixel decompose.
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名可视化体系结构描述语言XYZ/ADL
被引量：29
- 11
-
-
作者
骆华俊
唐稚松
郑建丹
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第8期1024-1029,共6页
-
基金
国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 1)
国家 86 3高科技项目基金! (No.86 3- 30 6 -ZT0 2 - 0 4- 0 1)资
-
文摘
提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .
-
关键词
时序逻辑语言
可视化
体系结构
软件工程
-
Keywords
Temporal logic language, software architecture, architecture description language, component, connector, port.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Java的应用服务器的设计与实现
被引量：14
- 12
-
-
作者
阮彤
李京
冯东雷
-
机构
中国科学院软件研究所计算机科学开放研究实验室对象技术中心
上海交通大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第8期939-946,共8页
-
基金
国家自然科学重点基金 (6 983 3 0 3 0 )
中国科学院"百人计划"基金资助
-
文摘
应用服务器是当前基于 Web的软件开发的重要的支撑平台 ,Sun公司的 J2 EE (Java 2 platform ,Enterprise Edition)是一个基于 Java的企业级应用服务器的标准 .从 Web应用的体系结构和基于组件的软件开发入手剖析 J2 EE,指出了其存在的一些缺点 ,如难以支持版本管理、多层结构与多种技术并存导致概念庞杂 ,开发与维护困难等 .进一步地 ,给出了设计和实现的一个 Java应用服务器—— JWeb
-
关键词
应用服务器
软件体系结构
软件开发
JAVA语言
-
Keywords
application server, Java, J2EE, software architecture, configuration management
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名判断检测点是否在多边形或多面体内的新方法
被引量：37
- 13
-
-
作者
王文成
吴恩华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第12期1614-1619,共6页
-
基金
国家自然科学基金资助项目 !( 6990 3 0 0 9
69873 0 4 4)
-
文摘
提出一种新方法 ,以检测一个点是否在多边形或多面体内 .该方法通过将多面体的面片和多边形的边组织成层次结构 ,在检测时运用二分查找算法 ,不必处理每个面片和每条边 .试验结果表明 ,这种方法简单、有效 。
-
关键词
多边形
多面体
计算机图形学
检测点
-
Keywords
point
polygon
polyhedron
inclusion test
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名基于分类及环境特征的树木真实感绘制
被引量：5
- 14
-
-
作者
陈彦云
严涛
张晓鹏
吴恩华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
中国科学院自动化研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第1期65-73,共9页
-
基金
国家自然科学基金资助项目 !(6 98730 44 )
Research Grant of University of Macao!(RG0 0 9/ 99- 0 0 5 / WEH/ FST)
-
文摘
生成高度真实感的虚拟自然场景一直是图形学研究领域中的一个富有挑战性的难题 .作为自然场景的重要组成部分 ,树木的真实感模拟也得到人们的广泛重视 .树木种类繁多 ,形态各异 ,复杂的结构使其无论在造形、存储还是在绘制上都存在着相当的困难 .针对不同的环境特征和不同类型的树木 ,根据它们的具体特点需采用不同的绘制手段 .对于阔叶树 ,采用基于 Open GL的深度缓存阴影生成算法 ;对于针叶树 ,则采用结合光线跟踪和纹元 ( texel)绘制的技术 ;而对于距离视点比较远的树 ,采用的是体纹理映射 ( volumetric texture mapping)的方法 .实践证明 ,这几种绘制技术基本上可以满足各种不同类型场景的树木的绘制要求 .
-
关键词
计算机图形学
树木
真实感绘制
自然场景
几何造型
-
Keywords
Algorithms
Drawing (graphics)
Feature extraction
Image processing
Mapping
Mathematical models
Ray tracing
Textures
Trees (mathematics)
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名给定限界要求的联盟结构生成
被引量：18
- 15
-
-
作者
胡山立
石纯一
-
机构
福州大学计算机科学与技术系
中国科学院软件研究所计算机科学开放研究实验室北京
清华大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第11期1185-1190,共6页
-
基金
国家自然科学基金 ( 699730 2 3
697330 2 0 )
福建省自然科学基金( F0 0 0 12 )资助
-
文摘
联盟形成是多 Agent系统中的一个关键问题 ,目的是通过寻找使联盟值的总和最大的联盟结构来使系统得到最大的效益 .但通常可能的联盟结构的数目太大 ,不允许穷尽搜索来找出最优解 .当实际问题提出最坏情况的具体限界要求时 ,如何以最小的搜索达到这个要求是需要解决的 .文中给出的算法对给定的限界要求 K* 2以最少的搜索层数解决了这个问题 . Sandholm等人已经证明 ,要建立最坏情况下的限界 K ( n) ,搜索联盟结构图的最底两层是必要且是充分的 ,此时限界是 n(系统的 Agent数 ) .以此为基础 ,文中给出了算法 ,在搜索最底两层之后 ,只要搜索一层就能保证 K( n) 3 ;而在搜索最底两层之后 ,最多搜索两层就能保证 K( n) 2 .与 Samdholm等人给出的算法相比 ,文中给出的算法达到指定限界的搜索量显著减少 .
-
关键词
联盟结构
多AGENT系统
联盟形式
人工智能
-
Keywords
Algorithms
Optimization
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名对象描述语言编译器的设计和实现
被引量：5
- 16
-
-
作者
张波
黄涛
傅远彬
邵丹华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
1998年第7期525-531,共7页
-
基金
国家自然科学基金
国家863高科技项目基金
-
文摘
对象描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是组合框架软件ＳＣＯＰ（ｓｏｆｔｗａｒｅｃｏｎｓｔｒｕｃｔｉｏｎ＝ｏｂｊｅｃｔ＋ｐｒｏｃｅｓｓｃｏｎｔｒｏｌ）环境的核心，ＯＤＬ将类的抽象规范和具体实现相分离．ＯＤＬ编译器支持这种分离，并在此基础上实现了语言独立；另外，在ＳＣＯＰ对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的支持下，在不同站点上开发的类及其所提供的服务可以共享，从而实现了位置独立．编译器还实现了动态联编的分离编译、基于对象库的复用和自动链接以及含参类的快速实例化．编译器以Ｃ语言为中间代码，生成的代码具有良好的可移植性．该文详细介绍了ＯＤＬ编译器的关键设计技术和实现方法．
-
关键词
编译器
面向对象
类规范
对象描述语言
-
Keywords
Compiler, object oriented, inheritance, subclass, class specification, dynamic binding, template.
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于细节迁移的快速外存模型简化方法
被引量：4
- 17
-
-
作者
费广正
蔡康颖
吴恩华
-
机构
中国科学院软件研究所计算机科学开放研究实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第11期1630-1638,共9页
-
基金
国家自然科学基金资助项目 (6 98730 44)
Research Grant of University of Macau基金资助项目(RG0 0 9/ 99- 0 0 S/WEH/ FST)~~
-
文摘
现有的快速外存模型简化方法一般是对模型进行近似均匀采样 ,无法根据细节分布对模型进行不同程度的简化 ,从而对于细节分布非均匀的模型失真较大 .给出一种快速的外存模型简化方法 ,用于对无法一次装入内存的大型几何模型进行简化 ,大大改善了细节分布非均匀的模型的简化结果 .该方法首先均匀采样 ,对外存模型快速生成初始简化模型 ,生成的同时计算原模型特征的统计信息 ,然后依此对初始简化模型进行细节迁移和局部精细采样 .该方法在保持近似线性处理速度的同时 ,大大提高了简化模型的质量 。
-
关键词
外存模型简化
细节定位
细节迁移
计算机图形学
-
Keywords
out of core simplification
detail positioning
detail shifting
non uniform sampling
edge collapse
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名对象演算Ⅰ
被引量：4
- 18
-
-
作者
黄涛
钱军
周桓
-
机构
中国科学院软件研究所计算机科学开放研究实验室
中国科学院软件研究所对象技术中心
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第9期931-940,共10页
-
基金
国家自然科学基金
国家863 高科技项目基金
-
文摘
对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对象的封装性，即只有对象的有效动作才能访问或修改对象的属性值，从而对Ｔｒａｃｅ 演算的语义模型加以限制，得到对象语义解释模型．作为逻辑系统，文章还讨论了对象演算的公理化，它是Ｔｒａｃｅ 演算公理系统的扩充．作为应用。
-
关键词
对象演算
公理化
对象语义描述
形式语义理论
-
Keywords
Object calculus
valid action
axiomatization
object semantics description
property deduction.
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名Trace演算
被引量：4
- 19
-
-
作者
黄涛
钱军
倪彬
-
机构
中国科学院软件研究所计算机科学开放研究实验室
中国科学院软件研究所对象技术中心
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第8期790-799,共10页
-
基金
国家自然科学基金
国家863高科技项目基金
-
文摘
文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．
-
关键词
Trace演算
对象标记
公理化
软件工程
-
Keywords
Trace calculus, object signature, action, trace, axiomatization, soundness
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名交互式用户界面的形式化描述与性质验证
被引量：3
- 20
-
-
作者
朱军
张高
华庆一
戴国忠
-
机构
中国科学院软件研究所计算机科学开放研究实验室
西北大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第11期1163-1168,共6页
-
基金
国家自然科学基金
国家863高科技项目
-
文摘
随着人机交互技术的发展，计算机和用户之间的接口越来越自然，但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段，缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果，归纳出了一个交互式用户界面的通用模型．为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS（languageoftemporalorderingspecification）和基于动作的时序逻辑ACTL（actionbasedtemporallogical）对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义．
-
关键词
交互式
用户界面
形式化方法
管理系统
-
Keywords
Graphical user interface, formal method, model checking, temporal logic, LOTOS (language of temporal ordering specification), ACTL (action based temporal logic)
-
分类号
TP315
[自动化与计算机技术—计算机软件与理论]
-
