Modeling Web navigation by statechart
暂无分享,去创建一个
[1] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.
[2] Hermann A. Maurer,et al. Introducing hypermedia composites to WWW , 1999, J. Netw. Comput. Appl..
[3] Cornelis Huizing,et al. Semantics of reactive systems : comparison and full abstraction , 1991 .
[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[5] Chung-Ming Huang,et al. Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment , 1999, Comput. J..
[6] P. David Stotts,et al. Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.
[7] Maria Cristina Ferreira de Oliveira,et al. A navigation-oriented hypertext model based on statecharts , 1997, HYPERTEXT '97.
[8] Maria Cristina Ferreira de Oliveira,et al. XHMBS: a formal model to support hypermedia specification , 1998, HYPERTEXT '98.
[9] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[10] Jim Conallen,et al. Modeling Web application architectures with UML , 1999, CACM.
[11] Maria Cristina Ferreira de Oliveira,et al. Hypercharts: Extended Statecharts to Support Hypermedia Specification , 1999, IEEE Trans. Software Eng..
[12] Yi Zheng,et al. Using statecharts to model hypertext , 1992, ECHT '92.
[13] David Harel,et al. Executable object modeling with statecharts , 1997, Computer.
[14] Sougata Mukherjea,et al. Focus+context views of World-Wide Web nodes , 1997, HYPERTEXT '97.
[15] Maria Cristina Ferreira de Oliveira,et al. Hypercharts: extended statecharts to support hypermedia specification , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).
[16] Chaomei Chen. Structuring and visualising the WWW by generalised similarity analysis , 1997, HYPERTEXT '97.