This paper presents a set of computer-aided tools for problem analysis in the software development process. Jackson’s problem diagrams are used to model the problem owners’ needs and relevant contexts for the software to be built. An algorithm based on three classes of rules is provided for the systematic transformation of these models into behavioral descriptions of the software. This work is part of our long-term research efforts aiming at embedding and empirically evaluating Jackson’s Problem Frames framework (PF) in requirements engineering practice.