An open graph visualization system and its applications to software engineering

Gansner, Emden R.; North, Stephen C.

doi:10.1002/1097-024x(200009)30:11<1203::aid-spe338>3.0.co;2-n

Cited by 662 publications

(456 citation statements)

References 20 publications

Supporting

Mentioning

422

Contrasting

Unclassified

Order By: Relevance

“…Thật vậy, cấu trúc đồ thị đã chứng minh được tầm quan trọng của mình trong rất nhiều lĩnh vực như: mạng xã hội [1], kỹ nghệ phần mềm [2], thiết kế mạch điện [3], thiết kế cơ sở dữ liệu [4] … Một cách tổng quát hơn, cấu trúc đồ thị có thể mô hình hóa các loại dữ liệu thể hiện dưới dạng tập các đối tượng và quan hệ giữa các đối tượng đó.…”

Section: Giới Thiệuunclassified

Mô Hình Lực Cho Biểu Diễn Đồ Thị Phân Nhóm

Định¹,

Dkaki²

2016

Fair - Nghiên Cứu Cơ Bản Và Ứng Dụng Công Nghệ Thông Tin 2015

View full text Add to dashboard Cite

Section: Giới Thiệuunclassified

Mô Hình Lực Cho Biểu Diễn Đồ Thị Phân Nhóm

Định¹,

Dkaki²

2016

Fair - Nghiên Cứu Cơ Bản Và Ứng Dụng Công Nghệ Thông Tin 2015

View full text Add to dashboard Cite

“…SpinSpider uses data available from Spin to generate the complete state space of a Promela program, which is written out in the dot language and laid out by the dot tool of Graphviz [4]. SpinSpider is integrated into the jSpin environment, although it can be run as a standalone application.…”

Section: Spinspider: Visualizing the State Spacementioning

confidence: 99%

Tool Presentation: Teaching Concurrency and Model Checking

Ben‐Ari

2009

Model Checking Software

View full text Add to dashboard Cite

Abstract. This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filters the output of a simulation according to the user's specification. SpinSpider uses debugging output from Spin to generate a diagram of the state space of a Promela model; the diagram can be incrementally displayed using iDot. VN supports teaching nondeterministic finite automata. The Erigone model checker is a partial reimplementation of Spin designed to be easy to use, well structured and well documented. It produces a full trace of the execution of the model checker in a format that is both readable and amenable to postprocessing.

show abstract

“…The graph was obtained from Graph Viz's Neato tool, which constructs graphs based on the Kawada-Kamai virtual physical model. It places an ideal spring between any pair of nodes such that its length is set to the shortest path distance between endpoints (Gansner and North, 1999). Thus, nodes with more edges tend to cluster.…”

Section: Fig 3 Neuron Type Hierarchies For Seven Rat Gray Matter Rementioning

confidence: 99%

The neuron classification problem

Bota

Swanson

2007

Brain Research Reviews

101

View full text Add to dashboard Cite

A systematic account of neuron cell types is a basic prerequisite for determining the vertebrate nervous system global wiring diagram. With comprehensive lineage and phylogenetic information unavailable, a general ontology based on structure-function taxonomy is proposed and implemented in a knowledge management system, and a prototype analysis of select regions (including retina, cerebellum, and hypothalamus) presented. The supporting Brain Architecture Knowledge Management System (BAMS) Neuron ontology is online and its user interface allows queries about terms and their definitions, classification criteria based on the original literature and "Petilla Convention" guidelines, hierarchies, and relations-with annotations documenting each ontology entry. Combined with three BAMS modules for neural regions, connections between regions and neuron types, and molecules, the Neuron ontology provides a general framework for physical descriptions and computational modeling of neural systems. The knowledge management system interacts with other web resources, is accessible in both XML and RDF/OWL, is extendible to the whole body, and awaits large-scale data population requiring community participation for timely implementation.

show abstract

An open graph visualization system and its applications to software engineering

Cited by 662 publications

References 20 publications

Mô Hình Lực Cho Biểu Diễn Đồ Thị Phân Nhóm

Mô Hình Lực Cho Biểu Diễn Đồ Thị Phân Nhóm

Tool Presentation: Teaching Concurrency and Model Checking

The neuron classification problem

Contact Info

Product

Resources

About