927 search results - page 158 / 186 » Practical Limits on Software Dependability: A Case Study |
QOSA
2007
Springer
14 years 1 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
GG
2004
Springer
14 years 29 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
GPCE
2009
Springer
14 years 5 days ago
2009
Springer
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
TSE
2002
13 years 7 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
BMCBI
2010
13 years 7 months ago
2010
Background: In high-dimensional data analysis such as differential gene expression analysis, people often use filtering methods like fold-change or variance filters in an attempt ...