994 search results - page 35 / 199 » Declarative Programming of User Interfaces |
102
click to vote
VL
1992
IEEE
15 years 6 months ago
1992
IEEE
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...
131
Voted
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
120
Voted
PROMAS
2007
Springer
15 years 8 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
134
Voted
FASE
2000
Springer
15 years 6 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
132
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...