382 search results - page 35 / 77 » An Industrial Case Study on Requirements Volatility Measures |
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...
ISSRE
2005
IEEE
14 years 1 months ago
2005
IEEE
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...
ISSRE
2000
IEEE
13 years 12 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The adoption of Efficient Consumer Response (ECR) by the grocery industry has become increasingly important in order to stay competitive. Due to the inter-organizational nature of...