Visualisation of Executable Formal Specifications for User Validation

• Authors:

• Mehmet Bülent Özcan;P. W. Parry;Ian Morrey;Jawed I. A. Siddiqi

• Affiliations:

• -;-;-;-

• Venue:
• ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
• Year:
• 1998