Sciweavers

926 search results - page 56 / 186
» Tool Support for Statistical Testing of Software Components
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
13 years 8 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
VRML
1999
ACM
14 years 17 days ago
ToolSpace: Web based 3D Collaboration
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
T. Goddard, Vaidy S. Sunderam
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
14 years 12 days ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
SIGSOFT
2003
ACM
14 years 9 months ago
Leveraging field data for impact analysis and regression testing
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
Alessandro Orso, Taweesup Apiwattanapong, Mary Jea...
ICSE
2008
IEEE-ACM
14 years 8 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer