H ? « »

Language peer sets for Statecharts:
Designed 1987
1980s languages
Fifth generation
Late Cold War
Genus 2D Statecharts
Specialised Languages
2D Statecharts
Visual state-based
2D Statecharts/1987
Visual state-based/1987
2D Statecharts/Israel
Visual state-based/Israel
Specialised Languages
Specialised Languages/1987
Specialised Languages/il


alternate simple view
Country: Israel
Designed 1987
Genus: 2D Statecharts
Sammet category: Specialised Languages

Visual states-based programming language

Related languages
Statecharts GraphLog   Based on
Statecharts STATEMATE   Extension of
Statecharts Viewcharts   Evolution of

  • Hard, D., Pnueli, A., Schn,idt, J.P., and Sherman, (1987) Hard, D., Pnueli, A., Schn,idt, J.P., and Sherman, R. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science (Ithaca, N.Y., June 22-24}. IEEE Press, New York, 1987, pp. 54-64.
  • Harel, D. (1987) Harel, D. "StateCharts : A visual formailsm for Complex Systems", Science of Computer Programming, Vol. 8­3, pp231-­275 1987 Online copy Abstract
  • Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82 Extract: Motivation and Related Work
  • Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304 Extract: Statecharts
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder