English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Hypermedia authoring tools usually suffer from a lack of validation capabilities that would make them capable of checking a document against temporal inconsistencies. The document design method proposed in the paper is meant to overcome this problem. The starting point is a document description provided in a high-level modeling technique featuring hypermedia basic concepts such as nodes (including composite nodes), anchors and links. The high-level document is then automatically translated into a RT-LOTOS formal specification on which classical reachability analysis techniques are applied, making it possible to check the temporal consistency of the document structure. A simple example is used along the text to illustrate the proposed approach.

A Design Methodology for the Formal Specification and Verification of Hypermedia Documents