Analyzing data flow diagrams by combination of formal methods and visualization techniques

H Zhang, W Liu, H **ong, X Dong - Journal of Visual Languages & …, 2018 - Elsevier
Data flow diagram (DFD) is an indispensable method to model data processing in software
engineering. To analyze DFD rigorously, a formal semantics is demanded. Formal …

[PDF][PDF] Визуализация больших графов и матрицы смежности

ЗВ Апанович - … научной конференции «Научный сервис в сети …, 2018 - researchgate.net
Экспоненциальный рост размеров таких графов, как социальные сети, Интернет
графы и др. требует новых подходов к их визуализации. Наряду с представлениями …

Использование матриц смежности для визуализации больших графов

ЗВ Апанович - Электронные библиотеки, 2019 - ellibs.elpub.ru
Аннотация Экспоненциальный рост размеров таких графов, как социальные сети,
интернет-графы и др., требует новых подходов к их визуализации. Наряду с …

[PDF][PDF] PGX. UI: Visual Construction and Exploration of Large Property Graphs.

J Kindelsberger, D Langerenken, M Husmann… - VISIGRAPP (3 …, 2017 - scitepress.org
Transforming existing data into graph formats and visualizing large graphs in a
comprehensible way are two key areas of interest of information visualization. Addressing …