Program Development by Transforamtion and Refinement.
Stefan JähnichenFatima Ali HussainMatthias WeberPublished in: Advanced Programming Environments (1986)
Keyphrases
- information processing
- software engineering
- knowledge based systems
- development process
- programming environments
- neural network
- information systems
- development environment
- online learning
- decision support
- programming environment
- computer programs
- project management
- real time
- open source
- case study
- search engine
- data sets