Sciweavers

5547 search results - page 452 / 1110
» Software Variability Management
Sort
View
IWEC
2004
15 years 8 months ago
AI: the Missing Link in Digital Game Interface Design?
The central problem that this paper addresses is how to manage dynamic change within game environments in response to variable player requirements and ability. In particular, we di...
Darryl Charles, Daniel Livingstone
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ICSE
2008
IEEE-ACM
16 years 7 months ago
Interval quality: relating customer-perceived quality to process quality
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...
Audris Mockus, David M. Weiss
SIGSOFT
2007
ACM
16 years 7 months ago
Test suite prioritization by interaction coverage
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...
Renée C. Bryce, Atif M. Memon
KBSE
2007
IEEE
16 years 1 months ago
Automated detection of api refactorings in libraries
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
Kunal Taneja, Danny Dig, Tao Xie