A discussion about integrated techniques

There are many different dimensions of software development that can potentially involve integration. Examples include integrating different views of a software system (e.g., data, processing), domain-independent versus domain-specification information, legacy software with newly developed software, and existing techniques with newly developed techniques. The majority of the discussion focuses on the integration of informal and formal techniques for software development. The group concluded that there are two general approaches to achieve this integration. The first approach, one that has been studied the most extensively, is called transformation. Rules are needed to transform the informal notation to the formal notation. The second approach, called convergence, refers to refinement of an informal notation to a more formal notation