A computerized method and system for creating, analyzing, and editing complex formulas so as to facilitate their use in software applications such as spreadsheets and database applications. The method and system employ multiple synchronized views for formulas, one view presenting the linear text required by the software application and the other views presenting clear indications of the meaning of that text. Examples of such views include mathematically typeset formulas and hierarchical diagrams that reveal the formula's structure. The method and system parse formulas to determine their structure, display that structure in multiple views, and provide a variety of controls and aids to assist in analyzing, debugging, and editing the formula so that it has the intended meaning and result. Additionally, it synchronizes the multiple views so that changes to the formula or to the presentation of the formula in one view are automatically reflected in the other views.