2436 search results - page 31 / 488 » An Experiment in the Design of Software Agents |
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
115
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
108
click to vote
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
: Software agents comprise a new area for research and soon will be embedded and ubiquitous in modern computing systems. In this formative phase, it is important to develop compreh...
104
click to vote
ICCBR
2001
Springer
15 years 4 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...