488 search results - page 20 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
100
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
WSCG
2003
15 years 1 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
108
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Predictive classification on the base of gene expression profiles appeared recently as an attractive strategy for identifying the biological functions of genes. Gene O...
113
click to vote
SLE
2009
Springer
15 years 4 months ago
2009
Springer
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...