179 search results - page 9 / 36 » UML for Agent-Oriented Software Development: The Tropos Prop... |
FAABS
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...