Sciweavers

2250 search results - page 44 / 450
» Interactive Explanation of Software Systems
Sort
View
CHI
1999
ACM
14 years 2 months ago
SWEETPEA: Software Tools for Programmable Embodied Agents
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
Michael Kaminsky, Paul Dourish, W. Keith Edwards, ...
SIGSOFT
2000
ACM
14 years 2 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
SEKE
2009
Springer
14 years 4 months ago
Resource Allocation for a Modular Software System
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimpliļ¬cati...
Lance Fiondella, Swapna S. Gokhale
ICSE
2003
IEEE-ACM
14 years 10 months ago
Constructing Test Suites for Interaction Testing
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugrid...
MSR
2005
ACM
14 years 3 months ago
Recovering system specific rules from software repositories
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
Chadd C. Williams, Jeffrey K. Hollingsworth