-
1
-
-
0343501680
-
HIFI: Hypertext interface for information systems
-
Nov.
-
U. Cavallaro, F. Garzotto, P. Paolini, and D. Totaro, "HIFI: Hypertext interface for information systems," IEEE Software, Vol. 10, No. 6, pp. 48-51, Nov. 1993.
-
(1993)
IEEE Software
, vol.10
, Issue.6
, pp. 48-51
-
-
Cavallaro, U.1
Garzotto, F.2
Paolini, P.3
Totaro, D.4
-
2
-
-
85025354091
-
Adding multimedia collections to the Dexter model
-
Edinburgh, Scotland, Sept.
-
F. Garzotto, L. Mainetti, and P. Paolini, "Adding multimedia collections to the Dexter model," in Proceedings of ACM ECHT'94, European Conference on Hypermedia Technologies, Edinburgh, Scotland, Sept. 1994, pp. 70-80.
-
(1994)
Proceedings of ACM ECHT'94, European Conference on Hypermedia Technologies
, pp. 70-80
-
-
Garzotto, F.1
Mainetti, L.2
Paolini, P.3
-
3
-
-
84976660747
-
Hypermedia design, analysis, and evaluation issues
-
Aug.
-
F. Garzotto, L. Mainetti, and P. Paolini, "Hypermedia design, analysis, and evaluation issues," Communications of the Association of Computer Machinery, Vol. 38, No. 8, pp. 74-86, Aug. 1995.
-
(1995)
Communications of the Association of Computer Machinery
, vol.38
, Issue.8
, pp. 74-86
-
-
Garzotto, F.1
Mainetti, L.2
Paolini, P.3
-
4
-
-
0027813243
-
Links in hypermedia: The requirements for context
-
Seattle, Washington, USA, Nov.
-
L. Hardman, D.C.A. Bulterman, and G. Van Rossum, "Links in hypermedia: The requirements for context," in Proceedings of ACM Hypertext'93, Seattle, Washington, USA, Nov. 1993, pp. 183-191.
-
(1993)
Proceedings of ACM Hypertext'93
, pp. 183-191
-
-
Hardman, L.1
Bulterman, D.C.A.2
Van Rossum, G.3
-
5
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
July
-
D. Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, Vol. 8, No. 3, pp. 231-274, July 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
6
-
-
0023266921
-
On the formal semantics of statecharts
-
D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman, "On the formal semantics of statecharts," in Proceedings of II IEEE Symposium on Logic in Computer Science, 1987, pp. 54-64.
-
(1987)
Proceedings of II IEEE Symposium on Logic in Computer Science
, pp. 54-64
-
-
Harel, D.1
Pnueli, A.2
Schmidt, J.P.3
Sherman, R.4
-
7
-
-
0040613855
-
Editing and simulating behavioral aspects of real-time systems
-
SEMISH, Santos, Brazil, Aug. in Portuguese
-
P.C. Masiero, R.P.M. Fortes, and J.E.S. Batista Neto, "Editing and simulating behavioral aspects of real-time systems," in Proceedings of XVIII Integrated Hardware and Software Seminar, SEMISH, Santos, Brazil, Aug. 1991, pp. 45-61 (in Portuguese).
-
(1991)
Proceedings of XVIII Integrated Hardware and Software Seminar
, pp. 45-61
-
-
Masiero, P.C.1
Fortes, R.P.M.2
Batista Neto, J.E.S.3
-
8
-
-
0344754405
-
An overview of HMBS: A statechart-based model for hypertext
-
WOSH, Fortaleza, CE, Brazil, May
-
M.C.F. Oliveira, M.A.S. Turine, and P.C. Masiero, "An overview of HMBS: A statechart-based model for hypertext," in Proceedings of II Workshop on Hypermedia Systems, WOSH, Fortaleza, CE, Brazil, May 1996, pp. 11-20.
-
(1996)
Proceedings of II Workshop on Hypermedia Systems
, pp. 11-20
-
-
Oliveira, M.C.F.1
Turine, M.A.S.2
Masiero, P.C.3
-
9
-
-
0029714672
-
Systematic hypermedia application design with OOHDM
-
Washington, DC, USA, March
-
D. Schwabe, G. Rossi, and S.D.J. Barbosa, "Systematic hypermedia application design with OOHDM," in Proceedings of ACM Hypertext'96, Washington, DC, USA, March 1996, pp. 116-128.
-
(1996)
Proceedings of ACM Hypertext'96
, pp. 116-128
-
-
Schwabe, D.1
Rossi, G.2
Barbosa, S.D.J.3
-
10
-
-
0345184627
-
Edition and execution of hypermedia document presentations in HyperProp
-
WOSH, Fortaleza, CE, Brazil, May in Portuguese
-
G.L. Souza Fillho and L.F.G. Soares, "Edition and execution of hypermedia document presentations in HyperProp," in Proceedings of II Workshop on Hypermedia Systems, WOSH, Fortaleza, CE, Brazil, May 1996, pp. 61-70 (in Portuguese).
-
(1996)
Proceedings of II Workshop on Hypermedia Systems
, pp. 61-70
-
-
Souza Fillho, G.L.1
Soares, L.F.G.2
-
11
-
-
0024478828
-
Petri Net based hypertext: Document structure with browsing semantics
-
Jan.
-
P.D. Stotts and R. Furuta, "Petri Net based hypertext: Document structure with browsing semantics," ACM Transactions on Information Systems, Vol. 7, No. 1, pp. 3-29, Jan. 1989.
-
(1989)
ACM Transactions on Information Systems
, vol.7
, Issue.1
, pp. 3-29
-
-
Stotts, P.D.1
Furuta, R.2
-
12
-
-
0029359332
-
Hypermedia and cognition: Designing for comprehension
-
Aug.
-
M. Thüring, J. Hannemann, and J.M. Haake, "Hypermedia and cognition: Designing for comprehension," Communications of the Association of Computer Machinery, Vol. 38, No. 8, pp. 57-66, Aug. 1995.
-
(1995)
Communications of the Association of Computer Machinery
, vol.38
, Issue.8
, pp. 57-66
-
-
Thüring, M.1
Hannemann, J.2
Haake, J.M.3
-
13
-
-
0344322191
-
-
Doctoral Thesis, IFSC, USP, São Carlos, Brazil, June in Portuguese
-
M.A.S. Turine, "HMBS: A statechart-based model for the formal specification of hyperdocuments," Doctoral Thesis, IFSC, USP, São Carlos, Brazil, June 1998 (in Portuguese).
-
(1998)
HMBS: A Statechart-based Model for the Formal Specification of Hyperdocuments
-
-
Turine, M.A.S.1
-
14
-
-
0345616776
-
Designing structured hypertext with HMBS
-
Southampton, UK, April
-
M.A.S. Turine, M.C.F. Oliveira, and P.C. Masiero, "Designing structured hypertext with HMBS," in Proceedings ACM Hypertext'97, VIII Int. ACM Hypertext Conference, Southampton, UK, April 1997, pp. 241-256.
-
(1997)
Proceedings ACM Hypertext'97, VIII Int. ACM Hypertext Conference
, pp. 241-256
-
-
Turine, M.A.S.1
Oliveira, M.C.F.2
Masiero, P.C.3
-
15
-
-
0027833283
-
CMIFed: A presentation environment for portable hypermedia documents
-
Anaheim, CA, USA, Aug.
-
G. Van Rosum, J. Jansen, K.S. Mullender, and D.C.A. Bulterman, "CMIFed: A presentation environment for portable hypermedia documents," in Proceedings of I ACM Int. Conference on Multimedia, Anaheim, CA, USA, Aug. 1993, pp. 183-188.
-
(1993)
Proceedings of I ACM Int. Conference on Multimedia
, pp. 183-188
-
-
Van Rosum, G.1
Jansen, J.2
Mullender, K.S.3
Bulterman, D.C.A.4
|