Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 519822

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


Š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 (međunarodna recenzija, članak, znanstveni)


CROSBI ID: 519822 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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

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

Izvornik
Advances in Electrical and Computer Engineering (1582-7445) 12 (2012), 1; 63-70

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Computer aided software engineering; formal specifications; graphical user interfaces; programming environments; user centered design

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekti:
036-0362980-1921 - Računalne okoline za sveprisutne raspodijeljene sustave (Srbljić, Siniša, MZOS ) ( POIROT)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Dejan Škvorc (autor)

Avatar Url Siniša Srbljić (autor)

Avatar Url Ivan Žužak (autor)

Citiraj ovu publikaciju

Š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 (međunarodna recenzija, članak, znanstveni)
Škvorc, D., Žužak, I. & Srbljić, S. (2012) Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface. Advances in Electrical and Computer Engineering, 12 (1), 63-70 doi:10.4316/AECE.2012.01011.
@article{article, year = {2012}, pages = {63-70}, DOI = {10.4316/AECE.2012.01011}, keywords = {Computer aided software engineering, formal specifications, graphical user interfaces, programming environments, user centered design}, journal = {Advances in Electrical and Computer Engineering}, doi = {10.4316/AECE.2012.01011}, volume = {12}, number = {1}, issn = {1582-7445}, title = {Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface}, keyword = {Computer aided software engineering, formal specifications, graphical user interfaces, programming environments, user centered design} }
@article{article, year = {2012}, pages = {63-70}, DOI = {10.4316/AECE.2012.01011}, keywords = {Computer aided software engineering, formal specifications, graphical user interfaces, programming environments, user centered design}, journal = {Advances in Electrical and Computer Engineering}, doi = {10.4316/AECE.2012.01011}, volume = {12}, number = {1}, issn = {1582-7445}, title = {Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface}, keyword = {Computer aided software engineering, formal specifications, graphical user interfaces, programming environments, user centered design} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus


Citati





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font