A language for specifying hyperdocuments

Software-Concepts and Tools

Volumn 17, Issue 4, 1996, Pages 163-172

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Hyperdocument; Specification; Specification language

Indexed keywords

EID: 0542362282     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Agosti M, Melucci M, Crestani F (1995) Automatic Authoring and Construction of Hypermedia for Information Retrieval. Multimedia Systems 3, 1, 15-24
2. Bratko I (1986) PROLOG Programming for Artificial Intelligence. Addison-Wesley
3. Dißmann S, Doberkat E-E, Sobottka H-G (1995) The EcoMediaToolbox - A Set of Tools for Disseminating Environmental Data Electronically. In Kremers H, Pillmann W (eds) Proc. 9th International Symposium on Computer Science for Environmental Protection, Metropolis-Verlag, Marburg, 127-134
4. Doberkat E-E, Dißmann S (1996) Einführung in die objekt-orientierte Programmierung mit BETA. Addison-Wesley
5. Engels G, Lewerentz C, Nagl M, Schäfer W, Schürr A (1992) Building Integrated Software Development Environments, Part I. ACM Transactions on Software Engineering and Methodology 1, 2, 135-167
6. Fujitsu Open Systems Solutions and TechnoTeachers: HyTime Application Development Guide. Version 1.2 (May 1995) (ftp://ftp.techno.com/pub/ HyTime/Application_Development_Guide/)
7. Furuta R, Stotts PD (1989) Petri-Net-Based Hypertext: Document Structure with Browsing Semantics. ACM Transactions on Information Systems 7, 1, 3-29
8. Garzotto F, Paolini P, Schwabe D (1993) HDM - A Model-Based Approach to Hypertext Application Design. ACM Transactions on Information Systems 11, 1, 1-26
9. Gibbs SJ, Tsichritzis DC (1995) Multimedia Programming - Objects, Environments and Frameworks. Addison-Wesley
10. Halasz F, Schwartz M (1994) The Dexter Hypertext Reference Model. Communications of the ACM 37, 2, 30-39
11. Hamakawa R, Rekimoto J (1993) Object Composition and Playback Models for Handling Multimedia Data. In Garcia-Luna JJ, Rangan PV (eds) ACM Multimedia 93, ACM, 273-281
12. Knuth DE (1973) The Art of Computer Programming. Vol. I, Addison-Wesely
13. Lamport L (1994) The Temporal Logic of Actions. ACM Transactions on Programming Language and Systems 16, 3, 872-923
14. Madsen OL, Möller-Pedersen B, Nygaard K (1993) Object-Oriented Programming in the BETA Programming Language. Addison-Wesley
15. Newcomb SR, Kipp NA, Newcomb VT (1991) The "HyTime" Hypermedia/Time-based Document Structuring Language. Communications of the ACM 34, 11, 67-83
16. Rumbaugh J, et al. (1991) Object-Oriented Modeling and Design. Prentice-Hall
17. Schnase JL, et al. (1993) Sematic Data Modeling of Hypermedia Associations. ACM Transactions on Information Systems 11, 1, 27-50
18. Tochtermann K (1995) Ein Modell für Hypermedia-Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte. Ph. D. Thesis, Chair for Automata and Switching Theory, University of Dortmund
19. Tompa FW (1989) A Data Model for Flexible Hypertext Database Systems. ACM Transactions on Information Systems 7, 1, 85-100
20. Wagner T, Graham SL (Sept. 1995) Integrating Incremental Analysis with Version Management. In Schäfer W, P. Botella (eds) Proc. 5th ESEC, Sitges, Spain, Lecture Notes in Computer Science 989, Springer-Verlag, 205-218
21. Wolf S (1994) Unterstützung kooperativer Softwareentwicklung - ein transaktionsbasierter Ansatz. Ph. D. Thesis, Chair for Software Technology, University of Dortmund