320 search results - page 27 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
HICSS
2007
IEEE
14 years 4 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...
LOPSTR
2009
Springer
14 years 4 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
14 years 3 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...
WCRE
1999
IEEE
14 years 2 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...
JSW
2008
13 years 9 months 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...