Sciweavers

1781 search results - page 33 / 357
» Visualizing program execution using user abstractions
Sort
View
DAGSTUHL
2007
13 years 9 months ago
Interdisciplinary Design Research for End-User Software Engineering
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
Alan F. Blackwell
SERVICES
2010
105views more  SERVICES 2010»
13 years 9 months ago
Scientific Workflow Development Using Both Visual and Script-Based Representation
In this paper we propose to achieve a semantic equivalence between a visual- and a script-based workflow development paradigm. We accomplish this by building a script language whi...
Ketan Maheshwari, Johan Montagnat
UIST
2003
ACM
14 years 24 days ago
User interface continuations
Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program’s normal execution flow, encouraging the user to complete the dial...
Dennis Quan, David Huynh, David R. Karger, Robert ...
HASE
2008
IEEE
13 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
PADL
2009
Springer
14 years 8 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus