Deductive synthesis of workflows for e-Science.
Bin YangAlan BundyAlan SmaillLucas DixonPublished in: CCGRID (2005)
Keyphrases
- functional programs
- data processing
- data mining
- artificial intelligence
- longitudinal study
- program synthesis
- computer science
- middle school
- abductive inference
- real time
- exception handling
- object oriented
- science education
- information science
- science learning
- workflow management systems
- workflow management
- workflow systems
- scientific workflows
- business process
- case study
- computational science
- web services
- information systems