loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Information Technology: New Generations (ITNG'06)
A Language for Writing Formal Software Specifications: The Library Problem Revisited
Las Vegas, Nevada
April 10-April 12
ISBN: 0-7695-2497-4
ASCII Text
x 
 
Chia-Chu Chiang, "A Language for Writing Formal Software Specifications: The Library Problem Revisited," Information Technology: New Generations, Third International Conference on, pp. 66-71, Third International Conference on Information Technology: New Generations (ITNG'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ITNG.2006.11,
author = {Chia-Chu Chiang},
title = {A Language for Writing Formal Software Specifications: The Library Problem Revisited},
journal ={Information Technology: New Generations, Third International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2497-4},
pages = {66-71},
doi = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2006.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology: New Generations, Third International Conference on
TI - A Language for Writing Formal Software Specifications: The Library Problem Revisited
SN - 0-7695-2497-4
SP66
EP71
A1 - Chia-Chu Chiang,
PY - 2006
KW - null
VL - 0
JA - Information Technology: New Generations, Third International Conference on
ER -
 
Chia-Chu Chiang, University of Arkansas at Little Rock
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.
Citation:
Chia-Chu Chiang, "A Language for Writing Formal Software Specifications: The Library Problem Revisited," itng, pp.66-71, Third International Conference on Information Technology: New Generations (ITNG'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.