6348 search results - page 246 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
207
click to vote
IUI
2006
ACM
16 years 17 days ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
158
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
190
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...
157
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
158
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...