2384 search results - page 414 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
106
click to vote
SIGSOFT
2009
ACM
16 years 17 days ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
109
click to vote
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...
128
click to vote
TES
2001
Springer
15 years 4 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
115
click to vote
JUCS
2000
14 years 11 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
130
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...