2212 search results - page 245 / 443 » Automated software wrapping |
146
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
153
click to vote
ICFEM
2009
Springer
16 years 15 days ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
142
click to vote
RE
2009
Springer
16 years 14 days ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
153
click to vote
FDL
2008
IEEE
16 years 12 days ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
152
click to vote
ICSM
2008
IEEE
16 years 10 days ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...