The refinement of formal specifications using reusable software components in Ada95.
Contributors: University of Glamorgan.
Published: 1998
Language: eng
Notes: Typescript.

Thesis (Ph.D.) - University of Glamorgan, Pontypridd, 1998.