Discusses computational tools for learning programming and describes a system that was developed to help university students acquire the capability to model computational problems independently of a specific programming language. User-system interaction is explained; and system architecture is described, including specification acquisition, a reasoning mechanism, and a direct implementation component. (30 references) (LRW)