1137 search results - page 79 / 228 » Disciplined Methods of Software Specification: A Case Study |
108
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
105
click to vote
ICANN
2009
Springer
14 years 7 months ago
2009
Springer
Different algorithms have been proposed in the literature to cluster gene expression data, however there is no single algorithm that can be considered the best one independently on...
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
In the lifecycle of a software product line (SPL), incremental generalization is usually required to extend the variability of existing core assets to support the new or changed ap...
RE
2006
Springer
14 years 9 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
CCCG
2010
14 years 11 months ago
2010
We investigate experimentally the Domatic Partition (DP) problem, the Independent Domatic Partition (IDP) problem and the Idomatic partition problem in Random Geometric Graphs (RG...