Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface (CROSBI ID 172915)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Škvorc, Dejan ; Žužak, Ivan ; Srbljić, Siniša Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface // Advances in Electrical and Computer Engineering, 12 (2012), 1; 63-70. doi: 10.4316/AECE.2012.01011

Podaci o odgovornosti

Škvorc, Dejan ; Žužak, Ivan ; Srbljić, Siniša

engleski

Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface

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 dependency between GUI controls and GUI actions. Furthermore, we present an algorithm for automatic construction of finite state machine for arbitrary GUI application.

Computer aided software engineering; formal specifications; graphical user interfaces; programming environments; user centered design

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

12 (1)

2012.

63-70

objavljeno

1582-7445

10.4316/AECE.2012.01011

Povezanost rada

Računarstvo

Poveznice
Indeksiranost