1 research outputs found
1. Introduction Visualizing Graphical and Textual Formalisms
Several requirements specification styles for the specification of reactive systems have been proposed in the literature. Informal specifications are the most widely use