ࡱ> $&#q`X bjbjqPqP.::XvvvvvvvRRRR ^ vvvvvvvv      $h PDvvvvvvDvvvvYv4vvvvvvvvj 9Ro0M M M v$vvvvvvvDD vvvvvvvvvvvvv Ttulo: Multimedia and hypermedia document validation and verification using a model-driven approach. Resumo: This work discusses the validation and verification of hypermedia and multimedia documents. With the validation and verification of hypermedia and multimedia documents, it is possible to indicate to the author possible inconsistent points in his definition. It also provides the author the possibility of correcting those inconsistencies, guaranteeing that the application is well-defined before it is made available for the final user. The validation and verification here presented is divided into a set of desirable document properties, which are proposed based on related works published in the literature. The implementation of the validation and verification uses a model-driven approach. This work also presents a tool, named aNaa (API for NCL Authoring and Analysis), capable of performing the validation and verification here presented in order to guarantee the consistency of NCL (Nested Context Language) documents, based on the set of properties proposed. Joel Andr 26/03/12 s 10h $ % & ' 8 9 W X h%8mH sH hemH sH hMhMmH sH hMmH sH  ghp8 9 : X $a$gdegdMX ,1h. A!"#$% @@@ NormalCJ_HaJmHsHtH>A> Fonte parg. padroTiT  Tabela normal4 l4a ,k, Sem listaBOB %8Estilo1*$G$56CJaJtHe@ MPr-formatao HTML7 2( Px 4 #\'*.25@9CJOJQJ^JaJXghp89:Z00000000ghp8ZK0K0K0K0K0 09X X X hnMQQSZ:EZ3 :WZZR@a%8eM@p6QA66XP@UnknownGz Times New Roman5Symbol3& z Arial?5 z Courier New"q;g;g!24VV2HP)?M2Ttulo:TeresaTeresaOh+'0p   , 8 DPX`hTtulo:Teresa Normal.dotTeresa2Microsoft Office Word@G@dل@ ՜.+,0 hp|  UFFV' Ttulo: Ttulo  !"%Root Entry F`9'1Table WordDocument.SummaryInformation(DocumentSummaryInformation8CompObju  F#Documento do Microsoft Office Word MSWordDocWord.Document.89q