Program Development: Attributes for Transformation and Proof.
Einar W. KarlsenOwen TraynorPublished in: PROSPECTRA Book (1993)
Keyphrases
- software engineering
- programming environments
- machine learning
- development environment
- case study
- program execution
- linear transformation
- st century
- world class
- database
- development environments
- theorem proving
- rapid development
- information processing
- decision support
- relational databases
- decision making
- artificial intelligence