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

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

[1]  Verónica Dahl,et al.  Logic Grammars , 1989, Symbolic Computation.

[2]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[3]  Bertrand Meyer,et al.  On Formalism in Specifications , 1985, IEEE Software.

[4]  Jonathan P. Bowen.  From programs to object code and back again using logic programming: Compilation and decompilation , 1993, J. Softw. Maintenance Res. Pract..

[5]  Chia-Chu Chiang,et al.  A formal method for proving programs correct , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[6]  Chia-Chu Chiang,et al.  Towards software reuse using parameterized formal specifications , 2003, Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications.

[7]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[8]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[9]  Chia-Chu Chiang,et al.  Towards Quality of Software in TUG , 2004, J. Inf. Sci. Eng..

[10]  Chia-Chu Chiang,et al.  Structured design with mathematical proofs , 1997, Inf. Softw. Technol..

[11]  David H. D. Warren.  Logic programming and compiler writing , 1980, Softw. Pract. Exp..

[12]  Chia-Chu Chiang,et al.  Automated rapid prototyping of TUG specifications using Prolog , 2004, Inf. Softw. Technol..