4109 search results - page 383 / 822 » User Interface Software Tools |
170
click to vote
ICALT
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
183
click to vote
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
156
click to vote
ISMB
1996
15 years 8 months ago
1996
Whena family of genes from closely related organisms is known,there is a certain chance to extract the corresponding gene from the genomeof another related organism. This can be d...
144
click to vote
TOOLS
1992
IEEE
15 years 10 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
171
click to vote
IUI
2006
ACM
16 years 22 days ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...