skip to main content
article
Free Access

Stimulus-response machines: a new visual formalism for describing classes and objects

Published:01 April 1993Publication History
First page image

References

  1. Cherry, G. W. Software Construction by Object-Oriented Pictures: Specifying Reactive and Interactive Systems. New York: Dorset House (800-342-6657), 1990.Google ScholarGoogle Scholar
  2. Davis, A. M. A comparison of techniques for the specification of external system behavior, Communications of the ACM, September, 1988, 1098-1115. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Harel, D. et al. STATEMATE: A working environment for the development of complex reactive systems. In Software State-of-the-Art: Selected Papers, edited by Tom DeMarco and Timothy Lister, New York: Dorset House, 1990, 322-338. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Harel, D. Algorithmics: The Spirit of Computing. 2nd Edition, Addison-Wesley, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Mills, H. D. Stepwise refinement and verification in box-structured systems, Computer, June 1988, 23-37. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Walters, N. Using Harel statecharts to model object-oriented behavior. Software Engineering Notes, October 1992, 28-31. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Zave, P. & Jackson, D. Practical Specification techniques for control-oriented systems. In Proceeding of the IFIP 11th Worm Computer Congress, edited by G. X. Ritter, North-Holland: New York, 1989.Google ScholarGoogle Scholar

Index Terms

  1. Stimulus-response machines: a new visual formalism for describing classes and objects

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGSOFT Software Engineering Notes
        ACM SIGSOFT Software Engineering Notes  Volume 18, Issue 2
        April 1993
        106 pages
        ISSN:0163-5948
        DOI:10.1145/159420
        Issue’s Table of Contents

        Copyright © 1993 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 April 1993

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader