Sciweavers

968 search results - page 100 / 194
» Software Support Tools and Experimental Work
Sort
View
WSC
2000
13 years 10 months ago
An MSE-based simulation capability for strategic and tactical logistics
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
Charles R. Standridge, David R. Heltne
ICST
2010
IEEE
13 years 7 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
SIGSOFT
2010
ACM
13 years 6 months ago
The missing links: bugs and bug-fix commits
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
Adrian Bachmann, Christian Bird, Foyzur Rahman, Pr...
HICSS
2007
IEEE
141views Biometrics» more  HICSS 2007»
14 years 3 months ago
Modular Integration Through Aspects: Making Cents of Legacy Systems
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
Celina Gibbs, Daniel Lohmann, Chunjian Robin Liu, ...
AIS
2000
Springer
13 years 8 months ago
The Evolve project: Component-based tailorability for CSCW applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Oliver Stiemerling, Armin B. Cremers