Flush: an example of development by refinements in SCADE/Lustre.
Jan MikácPaul CaspiPublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- rapid development
- software engineering
- development environment
- neural network
- decision support
- knowledge based systems
- development process
- genetic algorithm
- high level
- natural language
- digital libraries
- information technology
- decision trees
- web applications
- multimedia
- information processing
- practical application
- computer vision
- communication technologies