6348 search results - page 246 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
167
click to vote
IUI
2006
ACM
15 years 10 months 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...
126
Voted
IUI
2005
ACM
15 years 10 months 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...
145
click to vote
PEPM
2010
ACM
16 years 1 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ï...
127
click to vote
ASWEC
2000
IEEE
15 years 8 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 ...
128
click to vote
MSR
2006
ACM
15 years 10 months 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...