276 search results - page 11 / 56 » Automatic Generation of Functional Programs from CASL Specif... |
191
click to vote
FCCM
2011
IEEE
14 years 1 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
81
Voted
IJFCS
2006
14 years 9 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
GECCO
2000
Springer
15 years 1 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
CONSTRAINTS
2008
14 years 9 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...