102 search results - page 5 / 21 » Compositional Model-Views with Generic Graphical User Interf... |
COMSIS
2006
14 years 10 months ago
2006
The Program Composing Assistant is an interactive generic development environment dedicated to programming languages. It provides a structure editor with graphical user interface a...
110
click to vote
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
VISUALIZATION
2003
IEEE
15 years 3 months ago
2003
IEEE
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
100
click to vote
CGA
2004
14 years 9 months ago
2004
graphical abstractions, Hyperscore provides a visual analogue for what is happening structurally in the music as opposed to displaying musical events in procedural notation or as a...
FASE
2000
Springer
15 years 1 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...