ACM Home Page
Please provide us with feedback. Feedback
A navigation-oriented hypertext model based on statecharts
Full text PdfPdf (987 KB)
Source Conference on Hypertext and Hypermedia archive
Proceedings of the eighth ACM conference on Hypertext table of contents
Southampton, United Kingdom
Pages: 102 - 111  
Year of Publication: 1997
ISBN:0-89791-866-5
Authors
Marcelo Augusto Santos Turine  Instituto de Física de São Carlos, Universidade de São Paulo, C.P. 369, 13560-970 - São Carlos, SP, Brasil
Maria Cristina Ferreira de Oliveira  Instituto de Ciências Matemáticas de São Carlos, Universidade de São Paulo, C.P. 668, 13560-970 - São Carlos, SP, Brasil
Paul Ceasr Masiero  Instituto de Ciências Matemáticas de São Carlos, Universidade de São Paulo, C.P. 668, 13560-970 - São Carlos, SP, Brasil
Sponsor
SIGLINK: Hypertext, Hypermedia, and Web
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 16,   Citation Count: 3
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/267437.267449
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
2
3
 
4
 
5
Fortes, R.P.M., Garcia Neto, A.; Nicoletti, M.C. "A Formal approach to consistency and reuse of links in hypermedia applications", In: A CM CH1"96 Workshop on Formal Methods in Human Computer Interaction: Comparison, Benefits, Open Questions, Vancouver, Canada, p.33-36, April 14-15 1996.
6
7
 
8
 
9
Harel, D. "On the formal semantics of statecharts", In: Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, Ithaca, New York, p.54-64, 1987.
10
 
11
Masiero, P.C., Fortes, R.P.M.; Batista Neto, J.E.S. "Editing and simulating the behavioral aspects of realtime systems", In: Proceedings of the XVIII Integrated Hardware and Software Seminar, SEMISH, August 5-9, p.45-61,1991, (in Portuguese).
 
12
Masiero, P.C., Oliveira, M.C.F., Germano, F.S.R.; Santos, G.P.B. "Authoring and searching in dynamically growing hypertext databases", Hypermedia Journal, Taylor Grahan, 6, 2, p.124-148, 1994.
 
13
Masiero, P.C., Maldonado, J.C.; Boaventura, I.G. "A reachability tree for statecharts and analysis of some properties", Information and Software Technology 36, 10, p.615-624, 1994.
14
 
15
Oliveira, M.C.F., Turine, M.A.S.; Masiero, P.C. "A statechart-based model for hypertext", ICMSC Technical Report n. 19, 26p., ICMSC-USP, October 1996.
 
16
Paulo, F. B., Masiero, P.C.; Oliveira, M.C.F. "Extensions to HMBS for the specification of hypermedia presentations", In: Proceedings of the X SBES---Brazilian Symposium on Software Engineering, October 14-18, 1996, S~o Carlos, SP, Brazil, p.241-258, (in Portuguese).
17
18
19
20
21
22


Collaborative Colleagues:
Marcelo Augusto Santos Turine: colleagues
Maria Cristina Ferreira de Oliveira: colleagues
Paul Ceasr Masiero: colleagues

Peer to Peer - Readers of this Article have also read: