STATEMATE(ID:2535/sta032)

AdCad/i-Logix 1990

Transition documentation and analysis system for describing Systems Under Development (SUDs). Analyses systems in terms of Structural, Functional and Behavioural features.
Related languages
Statecharts => STATEMATE   Extension of
References:
  • Lano, R. J. A Technique for Software and Systerns Design ( TRW Series on Software Engi eeriag). Amsterdam. The Netherlands: North-Holland, 1979 view details
  • Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, 1987 view details
  • S. L. Smith and S. L. Gethart. "STATEMATE and cruise control: A case: study." view details
          in Proc. COMPAC '88, 12th Int. IEEE Cornput. Software and Applicat. Conf. New York: IEEE Press. 1988 view details
  • Harel, D. H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems view details
          in IEEE Transactions on Software Engineering, 16(04) April 1990 view details
  • Harel, D. and A. Naamad. The Statemate Semantics of Statecharts. In ACM transactions on software engineering and methodology, Vol 5 No 4 , 1996 view details
          in IEEE Transactions on Software Engineering, 16(04) April 1990 view details
  • Mikk, E. ; Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by statemate. In 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, July 1997. view details
          in IEEE Transactions on Software Engineering, 16(04) April 1990 view details
  • Brockmeyer, U. and G. Wittich. Real-Time Verification of STATEMATE Designs. Proc. CAV 98 view details
          in IEEE Transactions on Software Engineering, 16(04) April 1990 view details
    Resources