The Computer Journal
The Z notation: a reference manual
The Z notation: a reference manual
Strategies for incorporating formal specifications in software development
Communications of the ACM
The art of electronic publishing: the Internet and beyond
The art of electronic publishing: the Internet and beyond
An architecture for WWW-based hypercode environments
ICSE '97 Proceedings of the 19th international conference on Software engineering
Intranet document management: a guide for Webmasters and content providers
Intranet document management: a guide for Webmasters and content providers
Cascading style sheets: designing for the Web
Cascading style sheets: designing for the Web
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Extending HTML in a principled way with displets
Selected papers from the sixth international conference on World Wide Web
An extensible rendering engine for XML and HTML
WWW7 Proceedings of the seventh international conference on World Wide Web 7
XML Complete
Process-Driven Intranets: Life-Cycle Support for Process Reengineering
IEEE Internet Computing
Publishing Formal Specifications in Z Notation on World Wide Web
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Multi-Agent Process Centered Environment Integrated with the WWW
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Z Browser - A Tool for Visualization of Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Experiments with the Z Interchange Format and SGML
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
CADIZ - Computer Aided Design in Z
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Software engineering and the Internet: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Providing hypertextual functionalities with XML
HYPERTEXT '00 Proceedings of the eleventh ACM on Hypertext and hypermedia
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
Coordination middleware for XML-centric applications
Proceedings of the 2002 ACM symposium on Applied computing
XML-Based Hypertext Functionalities for Software Engineering
Annals of Software Engineering
Service Oriented Programming: A New Paradigm of Software Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Internet-Based Coordination Environments and Document-Based Applications: A Case Study
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An automatic load/extract scheme for XML documents through object-relational repositories
Journal of Systems and Software
ACM SIGWEB Newsletter
A survey of coordination middleware for XML-centric applications
The Knowledge Engineering Review
xSpace: a tuple space for XML & its application in orchestration of web services
Proceedings of the 2006 ACM symposium on Applied computing
Hi-index | 0.00 |
The use of the World Wide Web as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifications and text on WWW pages written with HTML, and traditional tools are not suited for the task. On the other hand, a newly proposed standard for markup languages, namely XML, allows one to define any set of markup elements; hence, it is suitable for describing any kind of notation. Unfortunately, the proposed standard for rendering XML documents, namely XSL, provides for text-only (although sophisticated) rendering of XML documents, and thus it cannot be used for more complex notations. We present a Java-based tool for applying any notation to elements of XML documents. These XML documents can thus be shown on current-generation WWW browsers with Java capabilities. A complete package for displayingZ specifications has been implemented and integrated with standard text parts. Being a complete rendering engine, text parts andZ specifications can be freely intermixed, and all the standard features of XML (including HTML links and form elements) are available outside and inside Z specifications. Furthermore, the extensibility of our engine allows any additional notations to be supported and integrated with the ones we describe here.