Sciweavers

1026 search results - page 79 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
KBSE
1999
IEEE
15 years 4 months ago
Automatically Structuring Textual Requirement Scenarios
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
Andreas Becks, Jörg Köller
CODES
2008
IEEE
15 years 1 months ago
A time-predictable system initialization design for huge-capacity flash-memory storage systems
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
Chin-Hsien Wu
CSMR
2004
IEEE
15 years 3 months ago
Adaptation of Large-Scale Open Source Software - An Experience Report
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
Markus Pizka
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 5 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
MSR
2010
ACM
15 years 5 months ago
An extensive comparison of bug prediction approaches
Abstract—Reliably predicting software defects is one of software engineering’s holy grails. Researchers have devised and implemented a plethora of bug prediction approaches var...
Marco D'Ambros, Michele Lanza, Romain Robbes