Sciweavers

378 search results - page 8 / 76
» Formalizing Spider Diagrams
Sort
View
IV
2008
IEEE
155views Visualization» more  IV 2008»
15 years 6 months ago
Visualise Undrawable Euler Diagrams
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
Paolo Simonetto, David Auber
DIAGRAMS
2000
Springer
15 years 4 months ago
Case Analysis in Euclidean Geometry: An Overview
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
Nathaniel Miller
UML
2005
Springer
15 years 5 months ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
HASE
2008
IEEE
15 years 6 months ago
Formalize UML 2 Sequence Diagrams
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
Hui Shen, Aliya Virani, Jianwei Niu
AINA
2003
IEEE
15 years 3 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu