258 search results - page 2 / 52 » From a Conceptual Framework for Agents and Objects to a Mult... |
CAISE
2005
Springer
13 years 10 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...
CAV
2009
Springer
13 years 9 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
JOT
2007
13 years 5 months ago
2007
Design patterns represent solutions to specific problem of developing one application that have evolved over time. They leverage the reuse level to the design phase by providing a...
SCCC
2007
IEEE
13 years 11 months ago
2007
IEEE
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...