Using Mathematical Induction in Systematic Program Development.
Jianxin LiArun LakhotiaPublished in: Int. J. Softw. Eng. Knowl. Eng. (1994)
Keyphrases
- inductive learning
- development process
- functional programs
- development environment
- software engineering
- programming environments
- practical experience
- website
- rapid development
- information processing
- program execution
- rule induction
- database
- knowledge based systems
- multi agent
- case study
- information retrieval
- databases
- data sets
- real time