Sciweavers

5506 search results - page 114 / 1102
» Visualizing Software Changes
Sort
View
EMSOFT
2011
Springer
13 years 11 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
NOMS
2008
IEEE
175views Communications» more  NOMS 2008»
15 years 5 months ago
Analysis of application performance and its change via representative application signatures
Abstract—Application servers are a core component of a multitier architecture that has become the industry standard for building scalable client-server applications. A client com...
Ningfang Mi, Ludmila Cherkasova, Kivanc M. Ozonat,...
82
Voted
IWPC
2005
IEEE
15 years 4 months ago
Tool Demonstration: JIVE and JOVE: Java as it Happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
ICWSM
2009
14 years 8 months ago
Gephi: An Open Source Software for Exploring and Manipulating Networks
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
Mathieu Bastian, Sebastien Heymann, Mathieu Jacomy
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
15 years 4 months ago
Integrating software engineering and user-centred design for multimedia software developments
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
Gregor Engels, Stefan Sauer, Bettina Neu