A Language for Writing Formal Software Specifications: The Library Problem Revisited

Author

Chiang, Chia-Chu

Author_Institution

Dept. of Comput. Sci., Arkansas Univ., Little Rock, AR

fYear

2006

fDate

10-12 April 2006

Firstpage

66

Lastpage

71

Abstract

The quality of software depends mainly on the effectiveness of the software development paradigm. Existing software development paradigms are not flexible and practical enough for developing a system that needs the mix of existing paradigms used in the production of that system. This paper presents a formal specification language, called TUG, to support a system to be developed through an integration of conventional software development, operational specification, rapid prototyping via software transformations, software reuse, and analysis of specifications and programs via testing and proofs. The software development paradigm with the aid of the TUG specification language contributes to the production of reliable and reusable programs

Keywords

formal specification; integrated software; program testing; software prototyping; software quality; software reusability; specification languages; TUG specification language; formal software specification; formal specification language; library problem; rapid prototyping; software development; software quality; software reusability; software transformation; Formal specifications; Production systems; Programming; Software libraries; Software prototyping; Software quality; Software testing; Specification languages; System testing; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

0-7695-2497-4

Type

conf

DOI

10.1109/ITNG.2006.11

Filename

1611572