Visualizing the behavior of object-oriented systems
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Visualizing dynamic software system information through high-level models
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Readings in information visualization: using vision to think
Readings in information visualization: using vision to think
Information visualization: perception for design
Information visualization: perception for design
An Operator Interaction Framework for Visualization Systems
INFOVIS '98 Proceedings of the 1998 IEEE Symposium on Information Visualization
ATask Oriented View of Software Visualization
VISSOFT '02 Proceedings of the 1st International Workshop on Visualizing Software for Understanding and Analysis
The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Evaluating Three-Dimensional Information Visualization Designs: A Case Study of Three Designs
IV '98 Proceedings of the International Conference on Information Visualisation
The structure of the information visualization design space
INFOVIS '97 Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis '97)
A Taxonomy of Visualization Techniques Using the Data State Reference Model
INFOVIS '00 Proceedings of the IEEE Symposium on Information Vizualization 2000
GSEE: A Generic Software Exploration Environment
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
A framework for information visualization spreadsheets
A framework for information visualization spreadsheets
Exploratory Analysis of Spatial and Temporal Data: A Systematic Approach
Exploratory Analysis of Spatial and Temporal Data: A Systematic Approach
ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
ATL: A model transformation tool
Science of Computer Programming
The Potential for Synergy between Information Visualization and Software Engineering Visualization
IV '08 Proceedings of the 2008 12th International Conference Information Visualisation
Model driven visualization: towards a model driven engineering approach for information visualization
OMEGA2: A New Version of the Profile and the Tools
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication
CSMR '11 Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems
ICPC '11 Proceedings of the 2011 IEEE 19th International Conference on Program Comprehension
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Innovations in Systems and Software Engineering
Designing Data Visualizations
Modeling and validation of a software architecture for the ariane-5 launcher
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Principles for the realization of an open simulation framework based on fUML (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
Powerful theoretical frameworks exist for model validation and verification, yet their use in concrete projects is limited. This is partially due to the fact that the results of model verification and simulation are difficult to exploit. This paper reports on a model driven approach that supports the user during the error diagnosis phases, by allowing customizable simulation trace visualization. Our thesis is that we can use models to significantly improve the information visualization during the diagnosis phase. This thesis is supported by Metaviz - a model-driven framework for simulation trace visualization. Metaviz uses the IFx-OMEGA model validation platform and a state-of-the-art information visualization reference model together with a well-defined development process guiding the user into building custom visualizations,essentially by defining model transformations. This approach has the potential to improve the practical usage of modeling techniques and to increase the usability and attractiveness of model validation tools.