Generating hypermedia from specifications by sketching multimedia templates

Modalités et scénarios d’interaction dans des hypermédias d’apprentissage

“…Au contraire, ils sont strictement dépendants l'un de l'autre. Cette dépendance est hiérarchique et linéaire en conception classique (Nanard et Nanard, 1995) et rétroactive en conception opportuniste (Fraïssé, Nanard et Nanard, 1996): pour ces auteurs, la relation entre la conception du scénario et celle des modalités d'interaction peut être fondée sur des boucles courtes de rétroaction expérimentale.…”

Design methodology and formal validation of hypermedia documents

“…However, it is important to organize the document in order to reduce the so-called "lost in the hyperspace" problem [9]. The structured definition of documents is desirable as it carries built-in concepts of modularity, encapsulation and abstraction.…”

“…Composite node presentation to help user navigation through a document -what can require the use of some filtering mechanism to present the document structure, as discussed in [9], in order to lessen the user disorientation problem.…”

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

“…This often happens too late, and the lack of well-established procedures makes the validation process uncertain. On the other hand, a complete formal approach is too complex for end-users, which prefer a high-level graphical language ranging from basic timelines to object-oriented models (Casanova, 1991) (Fraisse, 1996). The approach proposed in this paper is meant to allow the designer to use his or her favorite authoring tool.…”