Sciweavers

95 search results - page 6 / 19
» How to Draw a Sequence Diagram
Sort
View
IJCAI
2003
14 years 11 months ago
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
Tracy Hammond, Randall Davis
87
Voted
DIAGRAMS
2006
Springer
15 years 1 months ago
Flow Diagrams: Rise and Fall of the First Software Engineering Notation
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
Stephen J. Morris, O. C. Z. Gotel
LISP
2002
105views more  LISP 2002»
14 years 9 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott
GD
1999
Springer
15 years 1 months ago
Drawing Planar Graphs with Circular Arcs
In this paper we address the problem of drawing planar graphs with circular arcs while maintaining good angular resolution and small drawing area. We present a lower bound on the a...
C. C. Cheng, Christian A. Duncan, Michael T. Goodr...
68
Voted
ICFEM
2004
Springer
15 years 2 months ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack