Sciweavers

91 search results - page 10 / 19
» uml 2001
Sort
View
AOSE
2001
Springer
15 years 4 months ago
Agent Oriented Analysis Using Message/UML
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
Giovanni Caire, Wim Coulier, Francisco J. Garijo, ...
107
Voted
JGAA
2002
99views more  JGAA 2002»
14 years 12 months ago
Graph Layout Aesthetics in UML Diagrams: User Preferences
The merit of automatic graph layout algorithms is typically judged by their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minim...
Helen C. Purchase, Jo-Anne Allder, David A. Carrin...
FASE
2001
Springer
15 years 4 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
90
Voted
GI
2001
Springer
15 years 4 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...
EWSPT
2001
Springer
15 years 4 months ago
Describing Process Patterns with UML
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...
Harald Störrle