346 search results - page 23 / 70 » Panel: Extending UML from Software to Systems Engineering |
ATAL
2003
Springer
14 years 23 days ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...