Sciweavers

24 search results - page 4 / 5
» Monitoring Requirements Coverage using Reconstructed Views: ...
Sort
View
COMPLEX
2009
Springer
14 years 11 days ago
Designing Capital-Intensive Systems with Architectural and Operational Flexibility Using a Screening Model
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
Jijun Lin, Olivier de Weck, Richard de Neufville, ...
ISESE
2006
IEEE
13 years 11 months ago
A goal question metric based approach for efficient measurement framework definition
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
Patrik Berander, Per Jönsson
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
13 years 10 months ago
Fault Detection Effectiveness of Spathic Test Data
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
Jane Huffman Hayes, Pifu Zhang
VSTTE
2010
Springer
13 years 3 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
ICIP
2004
IEEE
14 years 7 months ago
A generic method for generating multispectral filter arrays
The technology of color filter arrays (CFA) has been widely used in the digital camera industry since it provides several advantages like low cost, exact registration, and strong ...
Lidan Miao, Hairong Qi, Wesley E. Snyder