488 search results - page 84 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
138
click to vote
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
128
click to vote
SAC
2010
ACM
15 years 29 days ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
128
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: The brightness of the probe spots on expression microarrays intends to measure the abundance of specific mRNA targets. Probes with runs of at least three guanines (G) ...
108
click to vote
RE
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
124
click to vote
NAACL
1994
15 years 4 months ago
1994
As multilingual products and technology grow in importance, the Linguistic Data Consortium (LDC) intends to provide the resources needed for research and development activities, e...