2186 search results - page 22 / 438 » Model Transformation Technologies in the Context of Modellin... |
WOA
2001
13 years 8 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
COODBSE
1994
13 years 8 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
ICEIS
2005
IEEE
14 years 1 months ago
2005
IEEE
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...