Z on the web using java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1493, Issue , 1998, Pages 66-81

  Bowen, Jonathan P ^a   Chippington, David ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL SPECIFICATION; HYPERTEXT SYSTEMS;

INTERCHANGE FORMATS; JAVA APPLET; Z SPECIFICATIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 84957667910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056026     Document Type: Conference Paper

References (30)

1. Adobe Systems Incorporated. PostScript Language Reference Manual. Addison-Wesley Publishing Company, 2nd edition, 1990. 67
2. T. Berners-Lee. World Wide Web past present and future. IEEE Computer, 29(10):69-77, October 1996. 66
3. J. P. Bowen. Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, 1996. 66
4. J. P. Bowen. Proposed extensions in HTML for Z. Part of the Virtual Library, Z section, 1998. URL: http://www.comlab.ox.ac.uk/archive/z/html-z.html. 79
5. J. P. Bowen and M. G. Hinchey, editors. ZUM’95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, volume 967 of Lecture Notes in Computer Science. Springer-Verlag, 1995. 80
6. S. M. Brien and J. E. Nicholls. Z base standard. Technical Monograph PRG-107, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, November 1992. Accepted for standardization under ISO/IEC JTC1/SC22. 67, 78
7. D. Chippington. Presentation of Z specifications on the World Wide Web. Final Project Report 3/CS/6N - Computer Science Project, The University of Reading, Department of Computer Science, UK, 5 May 1998. URL: http://www.fmse.cs.reading.ac.uk/z/java/report/. 69, 75
8. P. Ciancarini, C. Mascolo, and F. Vitali. Visualizing Z notation in HTML documents. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM’98: The Z Formal Specification Notation, volume 1493 of Lecturer Notes in Computer Science, pages 81-95. Springer-Verlag, 1998. In this volume. URL: http://www.cs.unibo.it/∼fabio/displet.html. 78, 79
9. G. A. Dickie. About IDVI, 18 October 1996. URL: http://www.geom.umn.edu/java/idvi/. 69
10. ATEX2HTML. In Proc. 1st World Wide Web Conference, Geneva, Switzerland, May 1994. CERN. URL: http://cbl.leeds.ac.uk/nikos/doc/www94/www94.html. 67
11. ATEX2HTML translator, 23 February 1998. URL: http://www-dsed.llnl.gov/files/programs/unix/latex2html/. 67
12. D. Flanagan. Java in a Nutshell: A Desktop Quick Reference. O’Reilly & Associates, 2nd edition, 1997. 68, 78
13. P. Flynn et al. Frequently Asked Questions about the Extensible Markup Language: The XML FAQ, 1998. URL: http://www.ucc.ie/xml/. 79
14. Geometry Technologies, Inc. WebEQ: Putting math on the Web, 1998. URL: http://www.webeq.com/. 69
15. D. M. Germán and D. D. Cowan. Experiments with the Z Interchange Format and SGML. In Bowen and Hinchey ZUM’95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, volume 967 of Lecture Notes in Computer Science, pages 224-233. 66
16. Ka-Ping Yee. Mathematical expressions on the WWW, 1996. URL: http://www.lfw.org/math/. 68
17. ATEX User’s Guide & Reference Manual: A document preparation system. Addison-Wesley Publishing Company, 2nd edition, 1993. 67, 78
18. L. Mikušiak, M. Adamy, and T. Seidmann. Publishing formal specifications in Z notation on the WWW. In M. Bidoit and M. Dauchet, editors, TAPSOFT’97: Theory and Practice of Software Development, volume 1214 of Lecturer Notes in Computer Science, pages 871-874. Springer-Verlag, 1997. 67
19. L. Mikušiak, V. Vojtek, J. Hasaralejko, and J. Hanzelová. Z browser - tool for visualization of Z specifications. In Bowen and Hinchey ZUM’95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, volume 967 of Lecture Notes in Computer Science, pages 510-523. 68
20. K. Peeters. nDVI: A DVI viewer plugin for Netscape (Unix), 8 October 1997. URL: http://norma.nikhef.nl/∼t16/ndvi doc.html. 68
21. J. M. Spivey. The fuzz Manual. Computing Science Consultancy, 34 Westlands Grove, Stockton Lane, York YO3 0EF, UK, 2nd edition, July 1992. 67
22. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992. 66, 69, 72
23. World Wide Web Consortium (W3C). HTML 4.0 Specification, 18 December 1997. REC-html40-971218, W3C Recommendation. URL: http://www.w3.org/TR/REC-html40/. 66
24. World Wide Web Consortium (W3C). Amaya - W3C’s browser/editor, 10 July 1998. URL: http://www.w3.org/Amaya/. 79
25. World Wide Web Consortium (W3C). Extensible Markup Language (XML), 1998. URL: http://www.w3.org/XML/. 79
26. World Wide Web Consortium (W3C). HTML math overview, 1998. URL: http://www.w3.org/Math/. 79
27. World Wide Web Consortium (W3C). Mathematical Markup Language (MathML), 24 February 1998. PR-math-19980224, W3C Proposed Recommendation. URL: http://www.w3.org/TR/PR-math/. 79
28. Xiaoping Jia. ZTC: A Type Checker for Z - User’s Guide. Institute for Software Engineering, Department of Computer Science and Information Systems, DePaul University, Chicago, IL 60604, USA, 1994. 68
29. Z Standard. Annex E - Interchange Format, 9 August 1995. Draft 1.2. URL: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/versions/part2.ps. 66, 69, 72, 78
30. Z Standard. Annex A - Lexis, December 1997. Draft 1.3. URL: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/drafts/lexis.ps. 67, 72, 78