Sciweavers

102 search results - page 7 / 21
» Software Engineering Research Strategy: Combining Experiment...
Sort
View
EMSOFT
2003
Springer
14 years 1 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
ACMACE
2008
ACM
13 years 10 months ago
Loop-R: real-time video interface
Loop-R is a real-time video performance tool, based in the exploration of low-tech, used technology and human engineering research. With this tool its author is giving a shout to ...
Rui Pereira
ICSM
2008
IEEE
14 years 3 months ago
Quota-constrained test-case prioritization for regression testing of service-centric systems
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
Shan-Shan Hou, Lu Zhang, Tao Xie, Jiasu Sun
AAAI
1994
13 years 10 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
CHI
2004
ACM
14 years 2 months ago
From mental effort to perceived usability: transforming experiences into summary assessments
In many cases, practitioners and researchers of HumanComputer Interaction and Usability Engineering rely on users' subjective product quality assessments. Such an assessment ...
Marc Hassenzahl, Nina Sandweg