17 search results - page 1 / 4 » A Component Framework for Direct-Manipulation Editors |
TOOLS
1997
IEEE
13 years 8 months ago
1997
IEEE
CADE
1994
Springer
13 years 8 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
CSMR
2002
IEEE
13 years 9 months ago
2002
IEEE
Even though the benefits of component-based software development are widely accepted, they are easily overestimated. To provide a firmer basis for the general discussion we descri...
HUC
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents the development of a user-oriented framework to support the user reconfiguration of ubiquitous domestic environments. We present a lightweight component model t...
JUCS
2008
13 years 4 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...