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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This research has expanded the applicable range of VDTable. VDTable is a tool of decision table automatic generation tool using VDM++ specification which is the lightweight formal methods VDM. We have improved VDTable to be able to correspond to let in statement, which is one of the VDM++ syntax, that the existing VDTable doesn’t support. We applied an application example to improved VDTable. From the result of the application example, the applicable range of VDTable has been expanded.

Improvement of Decision Table Automatic Generation Tool VDTable for let in Statement