Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
Friedrich L. BauerBernhard MöllerHelmuth PartschPeter PepperPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- computer aided
- programming environment
- computer programs
- programming education
- programming course
- programming environments
- computer assisted
- computer aided diagnosis
- diagnosis of breast cancer
- novice programmers
- programming language
- program understanding
- introductory programming
- program code
- computer aided design
- image analysis
- design tools
- cad systems
- capsule endoscopy
- computer programming
- reactive systems
- process planning
- early diagnosis
- image segmentation
- prostate cancer
- object oriented programming
- reverse engineering
- medical imaging
- knowledge acquisition
- expert systems