Requirements Validation based on the Visualization of Executable Formal Specifications

Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi. Requirements Validation based on the Visualization of Executable Formal Specifications. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 381-386, IEEE Computer Society, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.