913 search results - page 11 / 183 » Formal Agent Development: Framework to System |
ADBIS
1997
Springer
15 years 3 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
136
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
117
click to vote
AOSE
2000
Springer
15 years 4 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
101
click to vote
AAMAS
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...