Keyphrases
- design methodology
- functional programs
- term rewriting systems
- logic programs
- physical design
- fuzzy neural network
- functional language
- formal specification
- object oriented
- design process
- design methodologies
- web services
- high level
- general purpose
- neural network
- databases
- functional programming
- machine learning
- database
- programming language
- case study