Authoring tools for editing hypermedia documents should be able to describe temporal and spatial relationships among objects, and user interactions as well.

Sep 29, 2014 · The Proposed Design Method. Formal Verification. Toolchain. Conclusions. Verifying Hypermedia Applications by Using a. MDE Approach. Cristian ...

Authoring tools for editing hypermedia documents should be able to describe temporal and spatial relationships among objects, and user interactions as well.

The main goal of the dynamic analysis is to automate hypermedia test case generation using our existing Model-Driven approach. The generated test cases must ...

Research paper thumbnail of Verifying Hypermedia Applications by Using an MDE Approach · Verifying Hypermedia Applications by Using an MDE Approach. by ...

This paper proposes a Model-Driven Engineering approach for modeling and verificating of interactive multimedia applications. The approach introduces a ...

We describe an approach to the specification of hypermedia systems using first order logic ... Verifying Hypermedia Applications by Using an MDE Approach. Chapter ...

Verifying Hypermedia Applications by Using an MDE Approach. SAM 2014: 174-189 ... An approach to verify live NCL applications. WebMedia 2012: 223-232; 2010.

In this paper, we present a model-driven approach to construction of web-based collaborative environments that could be efficiently tailored to modeling and ...

This paper proposes an Model-Driven Engineering approach for modeling and veri-ficating of interactive multimedia applications. The approach introduces a ...