Conceptual and formal specifications of problem-solving mathods