Sciweavers

294 search results - page 16 / 59
» diagrams 2006
Sort
View
DIAGRAMS
2006
Springer
13 years 11 months ago
From Diagrams to Models by Analogical Transfer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
Patrick W. Yaner, Ashok K. Goel
LOBJET
2000
140views more  LOBJET 2000»
13 years 9 months ago
Early Measures for UML Class Diagrams
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
Marcela Genero, Mario Piattini, Coral Calero
ET
2000
145views more  ET 2000»
13 years 9 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar
JUCS
2002
146views more  JUCS 2002»
13 years 9 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
KBSE
2006
IEEE
14 years 3 months ago
Human-Friendly Line Routing for Hierarchical Diagrams
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
Tobias Reinhard, Christian Seybold, Silvio Meier, ...