This thesis proposes an extension to the i framework to address scalability issues. The notion of "view" is exploited to selectively present portions of an i "baseline model", which contains all modeled objects for a given application using i notations. We first reformulate the i framework and define four types of views---Actor Class, Strategic Dependency, Strategic Rationale, and Evaluation Results. Next, we define sub view types based on the four types of views and supply a view management framework. The views and sub-views are defined using meta-models, and formalized using the Telos conceptual modeling language. Each view type is associated with a formally defined "selection rule" so that the projection of a specific view from a baseline model can be automated. Relationships among views are depicted in View Maps. Illustrative examples are taken from the London Ambulance Service and the Trusted Computing Group case studies.