Second IEEE Workshop on Industrial Strength Formal Specification Techniques A Discussion About Integrated Techniques Boca Raton, Florida October 20-October 23 ISBN: 0-7695-0081-1
This working group focused on the discussion of integrating 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 focused 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.
Citation:
Betty H.C. Cheng, "A Discussion About Integrated Techniques," wift, pp.65, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||