H ? « ‹ ← → › »

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

Statecharts(ID:5556/sta031)

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
References:
  • 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