Automated rapid prototyping of TUG specifications using Prolog

Chiang, Chia-Chu

doi:10.1016/j.infsof.2004.03.001

Cited by 3 publications

(2 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this paper, we only illustrated the use of TUG for the operational specification and software reuse paradigms. Readers may refer to [6][7][8][9][10][11][12] for more features of TUG.…”

Section: Discussionmentioning

confidence: 99%

“…TUG also allows a prototype to be automatically built and then additional code such as non-functional properties of the system can be added manually to the prototype for rapid prototyping purpose. The language supports the construction of a prototype via software transformations [12] by avoiding complete retransformation of the prototype whenever a minor change is made in the specification. If a major change is needed, the specification may need to be rewritten and a new prototype may be derived from the beginning.…”

Section: Importance Of Tug In Software Developmentmentioning

confidence: 99%

See 1 more Smart Citation

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

Chiang

2006

Third International Conference on Information Technology: New Generations (ITNG'06)

View full text Add to dashboard Cite

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.

show abstract

“…In this paper, we only illustrated the use of TUG for the operational specification and software reuse paradigms. Readers may refer to [6][7][8][9][10][11][12] for more features of TUG.…”

Section: Discussionmentioning

confidence: 99%

Section: Importance Of Tug In Software Developmentmentioning

confidence: 99%