1057 search results - page 106 / 212 » Testing from Formal Specifications, a Generic Approach |
AISC
1998
Springer
14 years 1 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, ...
FLAIRS
2008
13 years 11 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...
ASWEC
2008
IEEE
14 years 3 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, ...
CEC
2007
IEEE
14 years 1 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...
ECMDAFA
2008
Springer
13 years 10 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...