loading...
A Discussion About Integrated Techniques
Boca Raton, Florida October 20-October 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766299Second IEEE Workshop on Industrial St ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.