Sciweavers

4474 search results - page 136 / 895
» Design Tools for User Experience Design
Sort
View
MEMOCODE
2003
IEEE
15 years 9 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
BCSHCI
2009
15 years 2 months ago
User research in a scientific software development project
The Usable Image project provides usability and user-centred design support to a scientific software development project. OMERO is a complex software application aimed at supporti...
David Sloan, Catriona Macaulay, Paula Forbes, Scot...
ICALT
2005
IEEE
15 years 10 months ago
Designing Web-Based Interactive Learning Environments for Problem-Based Learning
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
Lin Qiu, Christopher Riesbeck
VL
2007
IEEE
166views Visual Languages» more  VL 2007»
15 years 10 months ago
Community-Based Scaffolding to Promote End-User Learning
End-user programming provides a unique opportunity to study informal computer science education and knowledge acquisition in the real world. We seek to explore the use of communit...
Brian Dorn
MM
2010
ACM
141views Multimedia» more  MM 2010»
15 years 2 months ago
Automatic and manual processes in end-user multimedia authoring tools: where is the balance?
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
Rodrigo Laiola Guimarães