Quote: used TRIO formalisms for industrial projects; required formalism experts that often include the formalism developers

Quotation Skeleton

We have now about 10 years of experience … [e.g.,] a new-generation digital energy meter, … -- the control system of a pondage power … --a flight control system. … [p. 109] Thus, our experiences are in agreement with … [formal methods] to real-life projects [refs]. We all admit, however [refs] that success depends heavily on the participation of, or strict …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: limitations of formalism (92 items)
Group: requirement specification   (11 topics, 306 quotes)