1057 search results - page 106 / 212 » Testing from Formal Specifications, a Generic Approach |
142
click to vote
AISC
1998
Springer
15 years 7 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
140
click to vote
FLAIRS
2008
15 years 5 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
117
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
128
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Combinations of evolutionary based approaches with local search have provided very good results for a variety of scheduling problems. This paper describes the development of such a...
182
click to vote
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...