135 search results - page 18 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
114
click to vote
FATES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
127
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...
104
click to vote
MSR
2006
ACM
15 years 7 months ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
112
click to vote
FMOODS
2006
15 years 3 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
116
click to vote
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...