Sciweavers

11558 search results - page 492 / 2312
» Analytics for software development
Sort
View
WETICE
2005
IEEE
16 years 1 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
235
Voted
METRICS
2003
IEEE
16 years 20 days ago
A Metrics Suite for Measuring Reusability of Software Components
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
Hironori Washizaki, Hirokazu Yamamoto, Yoshiaki Fu...
218
Voted
SLE
2009
Springer
15 years 12 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...
APSEC
1997
IEEE
15 years 11 months ago
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan...
IFIP
1998
Springer
15 years 11 months ago
On the architecture of software component systems
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
M. Franz