1585 search results - page 24 / 317 » A framework for computer-aided validation |
DAC
2003
ACM
16 years 23 days ago
2003
ACM
We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-sca...
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
108
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
RE
2007
Springer
15 years 5 months ago
2007
Springer
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
118
click to vote
ADVIS
2006
Springer
15 years 5 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...