Capacities-centered integral software process formalization

We formalize an integral software process model which is applied to the construction of conventional systems (CS) and knowledge-based systems (KBS), centered in the capacities. The Capacities Centered Integral Software Process Model (CCISPM) is formalized through an object oriented approach. Aiming to automate the CCISPM, the formalization of the process dynamic aspects is begun. In this context, we present the dynamic modeling of the activities of the project initiation, planning and estimation process. The formal model obtained, which represents the three Ps: processes, products and people, favours the direct understanding and communication of the process users (engineers, managers or developers) in relation to the model considered aspects