Animating algorithms with XTANGO
ACM SIGACT News
The thin glass line: designing interfaces to algorithms
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal description and evaluation of user-adapted interfaces
International Journal of Human-Computer Studies
Visualizing principles of abstract machines by generating interactive animations
Future Generation Computer Systems
Applying patterns of cooperative interaction to work (re)design: e-government and planning
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Software Visualization
Key Decisions in Adopting Algorithm Animation for Teaching
Proceedings of the IFIP TC3/WG3.1&3.2 Open Conference on Informatics and The Digital Society: Social, Ethical and Cognitive Issues on Informatics and ICT
Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities
Proceedings of the IFIP TC3/WG3.1&3.2 Open Conference on Informatics and The Digital Society: Social, Ethical and Cognitive Issues on Informatics and ICT
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Algorithm visualization using concept keyboards
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Proceedings of the 27th international conference on Software engineering
The Webkit Tangible User Interface: A Case Study of Iterative Prototyping
IEEE Pervasive Computing
Algorithm Explanation Using Multimodal Interfaces
SCCC '05 Proceedings of the XXV International Conference on The Chilean Computer Science Society
Novel algorithm explanation techniques for improving algorithm teaching
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Computer supported interaction analysis of group problem solving
CSCL '99 Proceedings of the 1999 conference on Computer support for collaborative learning
Designing Interfaces
Visualization of cryptographic protocols with GRACE
Journal of Visual Languages and Computing
Augur 2 --- A New Version of a Tool for the Analysis of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Systems. Design, Specification, and Verification
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Concept keyboards in the animation of standard algorithms
Journal of Visual Languages and Computing
Design-time simulation of domain-specific models by incremental pattern matching
VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
Using Petri Nets to specify collaborative three dimensional interaction
CSCWD '09 Proceedings of the 2009 13th International Conference on Computer Supported Cooperative Work in Design
Cooperative creation of concept keyboards in distributed learning environments
CSCWD '09 Proceedings of the 2009 13th International Conference on Computer Supported Cooperative Work in Design
User hints: a framework for interactive optimization
Future Generation Computer Systems
Cooperative model reconstruction for cryptographic protocols using visual languages
CRIWG'09 Proceedings of the 15th international conference on Groupware: design, implementation, and use
Enhancing cryptography education via visualization tools
Proceedings of the 49th Annual Southeast Regional Conference
Formal modeling of multi-user interfaces in cooperative work
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
A novel approach to collaborative testing in a crowdsourcing environment
Journal of Systems and Software
Hi-index | 0.00 |
User interfaces are redesigned for various purposes, like adapting interfaces or meeting new requirements during software creation processes. In the context of learning systems, the aim of interface redesign is to let the student creates his or her own interface corresponding to the abstract concept to be learned, which is reflected in the interface designed. In this article we present an approach to interface redesign in a cooperative learning scenario for cryptographic protocols. We describe an iterative workflow using two different pieces of software for the creation and redesign of interfaces and distributed simulation and evaluate this approach.