Developing usable web interfaces with the aid of automatic verification of their formal specification-Reference-Cited by-同舟云学术

Developing usable web interfaces with the aid of automatic verification of their formal specification

Published:2011-04 Issue:2 Volume:22 Page:140-149
ISSN:1045-926X
Container-title:Journal of Visual Languages & Computing
language:en
Short-container-title:Journal of Visual Languages & Computing

Author:

Cassino Rosanna,Tucci Maurizio

Publisher

Elsevier BV

Subject

Computer Science Applications,Human-Computer Interaction,Language and Linguistics

Reference23 articles.

1. Application of Graph Transformation to Visual Languages;Bardohl,1998

2. Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems;Bottoni;ACM TOPLAS,1999

3. Modelling visual interactive systems through dynamic visual languages;Bottoni;Systems, Man and Cybernetics, Part A, IEEE Transactions on,2002

4. P. Bottoni, G. Taentzer, A. Schurr, Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation, Visual Languages, 2000. Proceedings. 2000 IEEE International Symposium on, 2000, pp. 59–60.

5. R. Cassino, M. Tucci, Checking the consistency, completeness and usability of interactive visual applications by means of SR-Action Grammars, ITAIS 2008V Conference of the Italian Chapter of AIS – Paris, France, December 13–14, 2008. Springer book - Information Systems: People, Organizations, Institutions, and Technologies (A. D′Atri and D. Saccà Eds., ISBN:978-3-7908-2147-5) - April 2009.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Usability research in educational technology: a state-of-the-art systematic review;Educational technology research and development;2022-08-22

2. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach;IEEE Transactions on Consumer Electronics;2020-05

3. Evaluating the Acceptance of e-Learning Systems via Subjective and Objective Data Analysis;Lecture Notes on Data Engineering and Communications Technologies;2018

4. Evaluation Methods for E-Learning Applications in Terms of User Satisfaction and Interface Usability;Application Development and Design;2018

5. Evaluation Methods for E-Learning Applications in Terms of User Satisfaction and Interface Usability;Handbook of Research on Innovative Pedagogies and Technologies for Online Learning in Higher Education;2017