320 search results - page 27 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
126
Voted
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
109
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
100
Voted
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
122
Voted
JSW
2008
15 years 13 days ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...