The main contribution of this thesis is the definition of an abstract interpretation framework theoretical basis to support the analysis of multiple views of a system captured by several graphical designs or 'views' using different notations. First, a formal representation is defined to formalize a Data Flow Design (DFD) and a Structure Chart Design as the selected notations to capture two different views of a system. Second, formalized views are subjected to an independent and a multiple view analysis. The independent analysis verifies the validity of a design by a global consistency analysis (cycle detection) a structural consistency analysis (DFD balancing rule verification), and a completeness analysis (undefined entities identification). Once the validity of a design is guaranteed, a multiple view analysis follows. The multiple view analysis adopts the abstract interpretation framework to construct an abstract design for each view, to make the necessary mappings between abstract designs, and to support the comparison process between them. The types of discrepancies detected are inconsistency (preservation of decomposition process and input/output relations), missing information (omission of design components), and incompatible information (identification of contradictory information) This work is characterized as the first research efforts to improve the design process by applying an abstract interpretation framework to support the analysis of multiple views at the design stage. The definition of the formalism used in view formalization and support of the analysis process, as well as the definitions added to the abstract interpretation framework to handle multiple design notations are developed as a means to achieve our main goal