From informal specification to formalization: an automated visualization approach

Authors:
Rodolfo Castello;Rym Mili
Affiliations:
-;-
Venue:
From informal specification to formalization: an automated visualization approach
Year:
2000

Citing 0
Cited 3

ViSta: a tool suite for the visualization of behavioral requirements

Journal of Systems and Software
Visualizing graphical and textual formalisms

Information Systems
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

Abstract