H ? « ‹ ← → › »

Language peer sets for STATEMATE:
Israel↑
Israel/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑
Genus 2D Statecharts ↑
2D Statecharts↑
Visual state-based↑
State-charts ↑
2D Statecharts/1998↑
Visual state-based/1998↑
State-charts/1998↑
2D Statecharts/Israel↑
Visual state-based/Israel↑
State-charts/Israel↑

STATEMATE(ID:2535/sta032)

alternate simple view
Country: Israel
Designed 1998
Genus: 2D Statecharts

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. (1979) Lano, R. J. A Technique for Software and Systerns Design ( TRW Series on Software Engi eeriag). Amsterdam. The Netherlands: North-Holland, 1979
  • Harel, D. (1987) Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, 1987
  • S. L. Smith and S. L. Gethart. (1988) S. L. Smith and S. L. Gethart. "STATEMATE and cruise control: A case: study."
          in Proc. (1988) Proc. COMPAC '88, 12th Int. IEEE Cornput. Software and Applicat. Conf. New York: IEEE Press. 1988
  • Harel, D. (1990) 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
          in (1990) IEEE Transactions on Software Engineering, 16(04) April 1990
  • Harel, D. (1996) Harel, D. and A. Naamad. The Statemate Semantics of Statecharts. In ACM transactions on software engineering and methodology, Vol 5 No 4 , 1996
          in (1990) IEEE Transactions on Software Engineering, 16(04) April 1990
  • Mikk, E. (1997) 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.
          in (1990) IEEE Transactions on Software Engineering, 16(04) April 1990
  • Brockmeyer, U. (1998) Brockmeyer, U. and G. Wittich. Real-Time Verification of STATEMATE Designs. Proc. CAV 98
          in (1990) IEEE Transactions on Software Engineering, 16(04) April 1990
    Resources

    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder