6348 search results - page 821 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
245
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
196
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
181
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
228
click to vote
ASWEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
190
click to vote
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...