Sciweavers

245 search results - page 33 / 49
» diagrams 2010
Sort
View
FAC
2010
107views more  FAC 2010»
13 years 4 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn
JUCS
2010
159views more  JUCS 2010»
13 years 2 months ago
Developing a Secure Mobile Grid System through a UML Extension
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
David G. Rosado, Eduardo Fernández-Medina, ...
BIS
2010
246views Business» more  BIS 2010»
13 years 8 months ago
On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages
Abstract. Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages us...
Kathrin Figl, Jan Mendling, Mark Strembeck, Jan Re...
CGF
2010
112views more  CGF 2010»
13 years 7 months ago
Winding Roads: Routing edges into bundles
Visualizing graphs containing many nodes and edges efficiently is quite challenging. Drawings of such graphs generally suffer from visual clutter induced by the large amount of ed...
A. Lambert, Romain Bourqui, David Auber
ENTCS
2006
153views more  ENTCS 2006»
13 years 7 months ago
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen