S-R machines: a visual formalism for reactive and interactive systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

S-R machines: a visual formalism for reactive and interactive systems

Full text

Pdf (297 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 16 , Issue 3 (July 1991) table of contents

Pages: 52 - 55

Year of Publication: 1991

ISSN:0163-5948

Author

George W. Cherry

Thought Tools, Inc., 5151 Emerson Road, Canandaigua, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 34, Citation Count: 2

Additional Information:

references 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:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/127099.127105 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	1. Cherry, George. W. Software Construction by Object-Oriented Pictures: Specifying Reactive and Interactive Systems. Thought^*Tools, Canadaigua, N. Y. 1990. [This book describes the SCOOP-3^TM* method, including S-R Machines (also called Abstract State Machines). You may order it from Dorset House by calling 1-800-342-6657.] ^TMSCOOP-3 is a trademark of Thought²Tools, Inc.
	2	David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
	3	3. Mills, H. D., Linger, R. C., and Hevner, A. R. "Box-Structured information systms". In Software State-of-the-Art: Selected Papers, T. DeMarco, and T. Lister Eds. Dorset House Publishing, New York, N. Y. 1990, 322-339. [You may order this book from 1-800-342- 6657]
	4	William A. Wulf , Lawrence Flon , Mary Shaw , Paul Hilfinger, Fundamental Structures of Computer Science, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1981

CITED BY 2

	P. S. C. Alencar , D. D. Cowan , C. J. P. Lucena , L. C. M. Nova, Formal specification of reusable interface objects, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.88-96, Aug. 1995
	George W. Cherry, System construction with object-oriented pictures, ACM SIGSOFT Software Engineering Notes, v.16 n.4, p.42-52, Oct. 1991