Sciweavers

678 search results - page 35 / 136
» Visual instructional design languages
Sort
View
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
14 years 6 days ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
IUI
2005
ACM
14 years 2 months ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
BPM
2008
Springer
142views Business» more  BPM 2008»
13 years 10 months ago
Crosscutting Concern Documentation by Visual Query of Business Processes
Business processes can be very large and may contain several different concerns, scattered across the process and tangled with other concerns. Crosscutting concerns are difficult t...
Chiara Di Francescomarino, Paolo Tonella
ACMIDC
2010
13 years 6 months ago
vSked: an interactive visual schedule system for use in classrooms for children with autism
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
Michael T. Yeganyan, Meg Cramer, Lou Anne Boyd, Gi...
ECAI
2008
Springer
13 years 10 months ago
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System
Europe and the U.S. both face the challenges of urban schools with low-achieving adolescent learners, many of whom are not proficient in the language of instruction. This paper des...
Paul R. Cohen, Carole R. Beal, Niall M. Adams