Formal program construction by transformations computer aided, intuition guided programming
Friedrich L. BauerPublished in: Forschungsberichte, TU Munich (1988)
Keyphrases
- computer aided
- programming environment
- computer programs
- computer assisted
- computer aided diagnosis
- programming environments
- programming course
- image analysis
- programming education
- program understanding
- novice programmers
- pattern recognition
- computer aided design
- program code
- diagnosis of breast cancer
- programming language
- introductory programming
- design tools
- programming skills
- computer programming
- prostate cancer
- process planning
- pulmonary nodules
- early diagnosis
- knowledge acquisition
- machine learning