GFP: A shining tool to visualize life
نویسندگان
چکیده
منابع مشابه
ReqViz: a Tool to Visualize Requirements
This paper presents a prototype tool to animate and visualize requirements called REQVIZ. In essence, this tool takes a Z specification as input and generates a visualization as output, through which, users can validate requirements. The prototype was developed based on architectural design driven by patterns. This process brings benefits that impact directly on understanding, reuse, evolution,...
متن کاملDDgraph: a Tool to Visualize Dynamic Dependences
Following previous work on displaying static data dependences and experience with large sets of dependence displaying strategies, we developed a tool for visualizing dynamic data dependences. Our prototype is based on a modified Lisp interpreter and this paper presents our evaluation of its application to a highly complex AI program. This permitted us to build efficient visualizations and to ev...
متن کاملRose/Architect: a tool to visualize architecture
Rational Rose is a graphical software modeling tool, using the Unified Modeling Language (UML) as its primary notation. It offers an open API that allows the development of additional functionality (“add-ins”). In this paper, we describe Rose/Architect, a RoseTM “add-in” used to visualize architecturally-significant elements in a system’s design, developed jointly by University of Southern Cali...
متن کاملParaver: a Tool to Visualize and Analyze Parallel Code Paraver: a Tool to Visualize and Analyze Parallel Code
PARAVER (PARAllel Visualization and Events Representation) is a tool to visualize and analyze a parallel events trace le. PARAVER can be used in two diierent ways: Creating its own trace le in accordance with the PARAVER trace format, or using a modiied PVM library. PARAVER is based on a simple interface to manage several displaying windows. In fact, PARAVER can be seen like a tape recorder whe...
متن کاملDPvis - A Tool to Visualize the Structure of SAT Instances
We present DPVIS, a Java tool to visualize the structure of SAT instances and runs of the DPLL (Davis-Putnam-Logemann-Loveland) procedure. DPVIS uses advanced graph layout algorithms to display the problem’s internal structure arising from its variable dependency (interaction) graph. DPVIS is also able to generate animations showing the dynamic change of a problem’s structure during a typical D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Virtual de Química
سال: 2009
ISSN: 1984-6835
DOI: 10.5935/1984-6835.20090002