3216 search results - page 153 / 644 » The Oregon Software Development Process |
186
Voted
ERSHOV
2009
Springer
15 years 3 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
128
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
169
Voted
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
165
click to vote
CAISE
2007
Springer
16 years 10 days ago
2007
Springer
Various efforts recently aimed at the development of quality metrics for process models. In this paper, we propose a new notion of coupling, which has been used successfully in so...
122
Voted
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...