Sciweavers

1940 search results - page 118 / 388
» Dependable Software: An Oxymoron
Sort
View
ISPW
2008
IEEE
14 years 4 months ago
Integrating Joint Reviews with Automotive SPICE Assessments Results
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Ed...
SIGSOFT
2003
ACM
14 years 10 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke
ICSE
2007
IEEE-ACM
14 years 10 months ago
Supporting the Investigation and Planning of Pragmatic Reuse Tasks
Software reuse has long been promoted as a means to increase developer productivity; however, reusing source code is difficult in practice and tends to be performed in an ad hoc m...
Reid Holmes, Robert J. Walker
CSSE
2002
IEEE
13 years 10 months ago
A fault tolerant access to legacy database systems using CORBA technology
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, ...
RE
2008
Springer
13 years 9 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund