loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Betty H.C. Cheng, Michigan State University
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.