Capacities-Centered Integral Software Process Formalization

In this paper, we formalize an integral sofnvare 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, it is presented 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. 1