5075 search results - page 329 / 1015 » Model-based interface development |
154
click to vote
CSL
2000
Springer
15 years 9 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
115
Voted
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
I present a research framework and some tools developed as part of an ongoing effort into defining and using interaction history as part of a user interface for social navigation,...
127
click to vote
OOIS
1997
Springer
15 years 8 months ago
1997
Springer
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
136
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
111
click to vote
SP
1990
IEEE
15 years 8 months ago
1990
IEEE
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...