Development of the TUG specification language to support specification reuse

Author

Chiang, Chia-Chu ; Urban, Joseph E.

Author_Institution

Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA

fYear

1994

fDate

9-11 Nov 1994

Firstpage

17

Lastpage

22

Abstract

Software reuse has been a research area for improving software development productivity and quality. A language incorporating a facility for reuse amplifies the software developer´s capabilities. The TUG (Tree Unified with Grammar) specification language caters several features such as polymorphism, overloading, schemes (generic and parameterized modules), root type, renaming, and extending to foster specification reuse. This paper briefly introduces the syntax and semantics of the TUG specification language. Some important but not comprehensive features of the language for reuse are then illustrated with the aid of examples. Mechanisms for reuse are examined The augmented typed lambda calculus is used to explain the language. Finally, the capabilities, benefits, limitations and future research are discussed

Keywords

grammars; software reusability; specification languages; trees (mathematics); TUG specification language; augmented typed lambda calculus; extending; generic modules; grammar; overloading; parameterized modules; polymorphism; renaming; root type; specification reuse; tree; Calculus; Computer languages; Computer science; Productivity; Programming; Runtime; Software quality; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342838

Filename

342838