A formal requirements specification method based on data flow analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

A formal requirements specification method based on data flow analysis

Source

Journal of Systems and Software archive
Volume 21 , Issue 2 (May 1993) table of contents

Pages: 141 - 149

Year of Publication: 1993

ISSN:0164-1212

Author

Shaoying Liu

Publisher

Elsevier Science Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 2

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	10.1016/0164-1212(93)90037-X

CITED BY 2

	Masatomo Inui , Harald Otto , Fumihiko Kimura, Algebraic interpretation of geometric tolerances for evaluating geometric uncertainties in solid modeling, Proceedings on the second ACM symposium on Solid modeling and applications, p.377-386, May 19-21, 1993, Montreal, Quebec, Canada
	Shaoying Liu , A. Jeff Offutt , Chris Ho-Stuart , Mitsuru Ohba , Yong Sun, SOFL: A Formal Engineering Methodology for Industrial Applications, IEEE Transactions on Software Engineering, v.24 n.1, p.24-45, January 1998