Sciweavers

2154 search results - page 243 / 431
» Evidence-based software production
Sort
View
195
Voted
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 5 months ago
Focused iterative testing: a test automation case study
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
Mechelle Gittens, Pramod Gupta, David Godwin, Hebe...
ICSE
2004
IEEE-ACM
16 years 5 months ago
Architecting in the Face of Uncertainty: An Experience Report
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...
Ian Gorton, Jereme Haack
149
Voted
WOSP
2010
ACM
16 years 6 days ago
A general result for deriving product-form solutions in markovian models
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
Andrea Marin, Maria Grazia Vigliotti
ASWEC
2009
IEEE
16 years 5 days ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
SEKE
2009
Springer
15 years 12 months ago
An Agent-based Centralized e-Marketplace in a Virtual Environment
In this paper we present the design and implementation of an agent-mediated B2C e-Marketplace as part of the social and immersive 3D e-Tourism environment “Itchy Feet”. Custom...
Ingo Seidel, Markus Gärtner, Josef Froschauer...