Sciweavers

1789 search results - page 124 / 358
» Glyphs for Software Visualization
Sort
View
CAV
2007
Springer
110views Hardware» more  CAV 2007»
15 years 10 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
IWPSE
2005
IEEE
15 years 9 months ago
How Developers Drive Software Evolution
As systems evolve their structure change in ways not expected upfront. As time goes by, the knowledge of the developers becomes more and more critical for the process of understan...
Tudor Gîrba, Adrian Kuhn, Mauricio Seeberger...
GECCO
2004
Springer
15 years 9 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
IPPS
2003
IEEE
15 years 9 months ago
Padico: A Component-Based Software Infrastructure for Grid Computing
This paper describes work in progress to develop a component-based software infrastructure, called Padico, for computational grids based on the CORBA Component Model from the OMG....
Alexandre Denis, Christian Pérez, Thierry P...
ASSETS
2008
ACM
15 years 6 months ago
MySpeechWeb: software to facilitate the construction and deployment of speech applications on the web
Few voice-in/voice-out applications are available on the web. The problem appears to be the lack of appropriate open-source tools. More speech applications would increase the func...
Richard A. Frost, Ali Karaki, David A. Dufour, Jos...