DocumentCode :
2720961
Title :
Specification refinement using transformation-based tools
Author :
Hsu, Yung-Kao ; LeBlanc, Richard, Jr.
Author_Institution :
Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
fYear :
1991
fDate :
27-30 Mar 1991
Firstpage :
339
Lastpage :
345
Abstract :
The transformational approach is a formal method for program construction that allows refinement to be carried out using mechanical manipulations. The authors describe an alternative idea for supporting transformations that emphasizes the use of integrated tools instead of individual rules. These tools provide the mechanism for coordinating a generic design concept with the use of transformation rules. In particular, they allow the user to combine the formulation of a design and its application during the refinement process. The authors describe the tools and give examples illustrating their application. A brief description of the methodology and specification notation is also provided
Keywords :
formal specification; formal method; generic design concept; integrated tools; program construction; specification notation; specification refinement; transformation-based tools; Concrete; Data models; Data structures; Marine vehicles; Optimizing compilers; Relational databases; Software systems; Specification languages; Terminology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2133-8
Type :
conf
DOI :
10.1109/PCCC.1991.113831
Filename :
113831
Link To Document :
بازگشت