首页
OALib 期刊
OALib 预印
快速投稿通道
排名
新闻
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Journal)
LinkedIn (Open Access Library)
Facebook
Twitter
标题
关键字
摘要
作者
全部
显示搜索
我的图书馆
OALib Journal期刊
ISSN: 2333-9721
费用:99美元
投稿
时间不限
2012
( 1 )
自定义范围…
—
匹配条件: “
SRBLJIC
” ,找到相关结果约1条。
列表显示的所有文章,均可免费获取
第1页/共1条
每页显示
5
10
20
条
1
Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface
SKVORC
,
D.
,
ZUZAK
,
I.
,
SRBLJIC
,
S.
Advances in Electrical and Computer Engineering
, 2012, DOI:
10.4316/aece.2012.01011
Abstract
: End-user development is an emerging computer science discipline that provides programming paradigms, techniques, and tools suitable for users not trained in software engineering. One of the techniques that allow ordinary computer users to develop their own applications without the need to learn a classic programming language is a GUI-level programming based on programming-by-demonstration. To build wizard-based tools that assist users in application development and to verify the correctness of user programs, a computer-supported method for GUI-level data dependency analysis is necessary. Therefore, formal model for GUI representation is needed. In this paper, we present a finite state machine for modeling the data dependencies between GUI controls and GUI actions. Furthermore, we present an algorithm for automatic construction of finite state machine for arbitrary GUI application. We show that proposed state aggregation scheme successfully manages state explosion in state machine construction algorithm, which makes the model applicable for applications with complex GUIs.
保存
相关文章
第1页/共1条
每页显示
5
10
20
条
1
Home
Copyright © 2008-2017 Open Access Library. All rights reserved.