6348 search results - page 821 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
221
click to vote
KBSE
2006
IEEE
16 years 25 days 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...
172
click to vote
ACMDIS
2006
ACM
16 years 24 days 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 ...
154
click to vote
IUI
2006
ACM
16 years 23 days 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 ...
199
click to vote
ASWEC
2005
IEEE
16 years 13 days 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...
179
click to vote
ICSM
2005
IEEE
16 years 12 days 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 ...