Sciweavers

2878 search results - page 18 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
KBSE
1997
IEEE
15 years 4 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
APSEC
2004
IEEE
15 years 3 months ago
A Project Management Support Tool using Communication for Agile Software Development
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
Noriko Hanakawa, Kimiharu Okura
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 4 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
APSEC
2005
IEEE
15 years 5 months ago
An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
W. Eric Wong, J. Jenny Li
AVI
2004
15 years 1 months ago
ValueCharts: analyzing linear models expressing preferences and evaluations
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...
Giuseppe Carenini, John Loyd