9006 search results - page 70 / 1802 » Modeling Software |
WICSA
2004
13 years 11 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
SPLC
2004
13 years 11 months ago
2004
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
APAQS
2000
IEEE
14 years 2 months ago
2000
IEEE
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
COMPLIFE
2006
Springer
14 years 1 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...