{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:08Z","timestamp":1750219808741,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,8]],"date-time":"2016-11-08T00:00:00Z","timestamp":1478563200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11,8]]},"DOI":"10.1145\/2976796.2988167","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T13:43:08Z","timestamp":1478526188000},"page":"91-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["NCL-Tester"],"prefix":"10.1145","author":[{"given":"F\u00e1bio","family":"Barreto","sequence":"first","affiliation":[{"name":"UNILASALLE-RJ, Niter\u00f3i, Brazil"}]},{"given":"Daniel Tamaki","family":"Batista","sequence":"additional","affiliation":[{"name":"Laborat\u00f3rio M\u00eddiaCom, UFF, Niter\u00f3i, Brazil"}]},{"given":"Joel A.F.","family":"dos Santos","sequence":"additional","affiliation":[{"name":"CEFET\/RJ, Rio de Janeiro, Brazil"}]},{"given":"D\u00e9bora C.","family":"Muchaluat-Saade","sequence":"additional","affiliation":[{"name":"Laborat\u00f3rio M\u00eddiaCom, UFF, Niter\u00f3i, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SMIL \"Synchronized Multimedia Integration Language (SMIL 3.0) \" 2008. {Online}. Available: http:\/\/www.w3.org\/TR\/SMIL3\/. {Acesso em 13 08 2015}.  SMIL \"Synchronized Multimedia Integration Language (SMIL 3.0) \" 2008. {Online}. Available: http:\/\/www.w3.org\/TR\/SMIL3\/. {Acesso em 13 08 2015}."},{"key":"e_1_3_2_1_2_1","unstructured":"HTML5 \"A vocabulary and associated APIs for HTML \" 2014. {Online}. Available: http:\/\/www.w3.org\/TR\/html5\/. {Acesso em 2015 08 13}.  HTML5 \"A vocabulary and associated APIs for HTML \" 2014. {Online}. Available: http:\/\/www.w3.org\/TR\/html5\/. {Acesso em 2015 08 13}."},{"key":"e_1_3_2_1_3_1","unstructured":"ITU \"Nested Context Language (NCL) and Ginga-NCL for IPTV \" 2009. {Online}. Available: http:\/\/www.itu.int\/rec\/T-REC-H.761--200904-S. {Acesso em 07 06 2016}.  ITU \"Nested Context Language (NCL) and Ginga-NCL for IPTV \" 2009. {Online}. Available: http:\/\/www.itu.int\/rec\/T-REC-H.761--200904-S. {Acesso em 07 06 2016}."},{"key":"e_1_3_2_1_4_1","volume-title":"Composer: Ambiente de Autoria de Aplica\u00e7\u00f5es Declarativas para TV Digital Interativa,\" in XII Simp\u00f3sio Brasileiro de Sistemas Multim\u00eddia e Web","author":"Guimar\u00e3es R. L.","year":"2007","unstructured":"R. L. Guimar\u00e3es , R. M. R. Costa and L. F. Soares , \" Composer: Ambiente de Autoria de Aplica\u00e7\u00f5es Declarativas para TV Digital Interativa,\" in XII Simp\u00f3sio Brasileiro de Sistemas Multim\u00eddia e Web , 2007 . R. L. Guimar\u00e3es, R. M. R. Costa and L. F. Soares, \"Composer: Ambiente de Autoria de Aplica\u00e7\u00f5es Declarativas para TV Digital Interativa,\" in XII Simp\u00f3sio Brasileiro de Sistemas Multim\u00eddia e Web, 2007."},{"key":"e_1_3_2_1_5_1","unstructured":"D. Silva e D. Muchaluat-Saade \"NEXT-Editor Gr\u00e1fico par Autoria de Documentos NCL com Suporte a Templates de Composi\u00e7\u00e3o \" em WebMedia 2012.  D. Silva e D. Muchaluat-Saade \"NEXT-Editor Gr\u00e1fico par Autoria de Documentos NCL com Suporte a Templates de Composi\u00e7\u00e3o \" em WebMedia 2012."},{"key":"e_1_3_2_1_6_1","volume-title":"STEVE - Editor","author":"Mattos D.","year":"2015","unstructured":"D. Mattos , STEVE - Editor Gr\u00e1fico da Vis\u00e3o Espa\u00e7o-Temporal para Autoria de Documentos Hiperm\u00eddia, Niter\u00f3i : Disserta\u00e7\u00e3o de Mestrado em Computa\u00e7\u00e3o, Universidade Federal Fluminense , 2015 . D. Mattos, STEVE - Editor Gr\u00e1fico da Vis\u00e3o Espa\u00e7o-Temporal para Autoria de Documentos Hiperm\u00eddia, Niter\u00f3i: Disserta\u00e7\u00e3o de Mestrado em Computa\u00e7\u00e3o, Universidade Federal Fluminense, 2015."},{"key":"e_1_3_2_1_7_1","volume-title":"Azevedo e C. Neto, \"NCL-validador: um processo para valida\u00e7\u00e3o sint\u00e1tica e sem\u00e2ntica de documentos multimidia NCL,\" em Jornada de Inform\u00e1tica do Maranh\u00e3o","author":"Ara\u00fajo E.","year":"2008","unstructured":"E. Ara\u00fajo , R. Azevedo e C. Neto, \"NCL-validador: um processo para valida\u00e7\u00e3o sint\u00e1tica e sem\u00e2ntica de documentos multimidia NCL,\" em Jornada de Inform\u00e1tica do Maranh\u00e3o , 2008 . E. Ara\u00fajo, R. Azevedo e C. Neto, \"NCL-validador: um processo para valida\u00e7\u00e3o sint\u00e1tica e sem\u00e2ntica de documentos multimidia NCL,\" em Jornada de Inform\u00e1tica do Maranh\u00e3o, 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"Adapt\u00e1vel e Multiplataforma.,\" em WebMedia - Workshop de TV Digital Interativa (WTVDI)","author":"Lima B.","year":"2010","unstructured":"B. Lima , R. Azevedo , M. Moreno e L. Soares, \"Composer 3: Ambiente de Autoria Extens\u00edvel , Adapt\u00e1vel e Multiplataforma.,\" em WebMedia - Workshop de TV Digital Interativa (WTVDI) , 2010 . B. Lima, R. Azevedo, M. Moreno e L. Soares, \"Composer 3: Ambiente de Autoria Extens\u00edvel, Adapt\u00e1vel e Multiplataforma.,\" em WebMedia - Workshop de TV Digital Interativa (WTVDI), 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291233.1291256"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141596"},{"key":"e_1_3_2_1_11_1","volume-title":"Multimedia Document Validation Along Its Life Cycle","author":"dos Santos J. A. F.","year":"2016","unstructured":"J. A. F. dos Santos , Multimedia Document Validation Along Its Life Cycle , Niter\u00f3i : Tese de Doutorado em Computa\u00e7\u00e3o, Universidade Federal Fluminense , 2016 . J. A. F. dos Santos, Multimedia Document Validation Along Its Life Cycle, Niter\u00f3i: Tese de Doutorado em Computa\u00e7\u00e3o, Universidade Federal Fluminense, 2016."},{"key":"e_1_3_2_1_12_1","unstructured":"M. F. Felix \"Formal Analysis of Software Models Oriented by Architectural Abstractions \" 2004.  M. F. Felix \"Formal Analysis of Software Models Oriented by Architectural Abstractions \" 2004."},{"key":"e_1_3_2_1_13_1","first-page":"578","volume-title":"A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations,\" in IEEE International Conference on Multimedia and Expo","author":"Bertino E.","year":"2005","unstructured":"E. Bertino , E. Ferrari , A. Perego and D. Santi , \" A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations,\" in IEEE International Conference on Multimedia and Expo , Amsterdam, Netherlands , IEEE Computer Society , 2005 , pp. 578 -- 581 . E. Bertino, E. Ferrari, A. Perego and D. Santi, \"A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations,\" in IEEE International Conference on Multimedia and Expo, Amsterdam, Netherlands, IEEE Computer Society, 2005, pp. 578--581."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141596"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00530-011-0233-1"},{"key":"e_1_3_2_1_16_1","first-page":"174","volume-title":"Models and Reusability","author":"Picinin J\u00fanior D.","year":"2014","unstructured":"D. Picinin J\u00fanior , C. Koliver , C. A. S. Santos and J.-M. Farines , \"Verifying Hypermedia Applications by Using an MDE Approach ,\" in System Analysis and Modeling : Models and Reusability , vol. 8769 , Springer International Publishing , 2014 , pp. 174 -- 189 . D. Picinin J\u00fanior, C. Koliver, C. A. S. Santos and J.-M. Farines, \"Verifying Hypermedia Applications by Using an MDE Approach,\" in System Analysis and Modeling: Models and Reusability, vol. 8769, Springer International Publishing, 2014, pp. 174--189."},{"key":"e_1_3_2_1_17_1","volume-title":"SUS - A quick and dirty usability scale. Usability Evaluation in Industry","author":"Brooke J.","year":"1996","unstructured":"J. Brooke , SUS - A quick and dirty usability scale. Usability Evaluation in Industry , Taylor and Francis , 1996 . J. Brooke, SUS - A quick and dirty usability scale. Usability Evaluation in Industry, Taylor and Francis, 1996."},{"key":"e_1_3_2_1_18_1","first-page":"165","article-title":"A spatial logic based on regions and connection","author":"Randell D. A.","year":"1992","unstructured":"D. A. Randell , Z. Cui and A. G. Cohn , \" A spatial logic based on regions and connection ,\" Principles of Knowledge Representation and Reasoning , pp. 165 -- 176 , 1992 . D. A. Randell, Z. Cui and A. G. Cohn, \"A spatial logic based on regions and connection,\" Principles of Knowledge Representation and Reasoning, pp. 165--176, 1992.","journal-title":"Principles of Knowledge Representation and Reasoning"},{"volume-title":"Standard Edition (Java SE) 8 Release 8,\"","year":"2014","key":"e_1_3_2_1_19_1","unstructured":"JavaFX, \"Client Technologies : Java Platform , Standard Edition (Java SE) 8 Release 8,\" 2014 . {Online}. Available: http:\/\/docs.oracle.com\/javase\/8\/javase-clienttechnologies.htm. {Acesso em 10 07 2014}. JavaFX, \"Client Technologies: Java Platform, Standard Edition (Java SE) 8 Release 8,\" 2014. {Online}. Available: http:\/\/docs.oracle.com\/javase\/8\/javase-clienttechnologies.htm. {Acesso em 10 07 2014}."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/290747.290753"},{"key":"e_1_3_2_1_21_1","unstructured":"W3C \"Synchronized Multimedia Integration Language - SMIL \" World-Wide Web Consortium Recommendation 2008. {Online}. Available: http:\/\/www.w3c.org\/TR\/SMIL3.  W3C \"Synchronized Multimedia Integration Language - SMIL \" World-Wide Web Consortium Recommendation 2008. {Online}. Available: http:\/\/www.w3c.org\/TR\/SMIL3."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/366836.366869"},{"key":"e_1_3_2_1_23_1","volume-title":"Model Checking","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg and D. Peled , Model Checking , The MIT Press , 2000 . E. Clarke, O. Grumberg and D. Peled, Model Checking, The MIT Press, 2000."},{"key":"e_1_3_2_1_24_1","volume-title":"All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic,\" Springer-Verlag New York Inc","author":"Clavel M.","year":"2007","unstructured":"M. Clavel , S. Eker , F. Drur\u00e1n , P. Lincoln , N. Mart\u00ed-Oliet and J. Meseguer , \" All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic,\" Springer-Verlag New York Inc , vol. 4350 , 2007 . M. Clavel, S. Eker, F. Drur\u00e1n, P. Lincoln, N. Mart\u00ed-Oliet and J. Meseguer, \"All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic,\" Springer-Verlag New York Inc, vol. 4350, 2007."},{"key":"e_1_3_2_1_25_1","volume-title":"aNa: API for NCL Authoring,\" in Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications","author":"dos Santos J. A. F.","year":"2012","unstructured":"J. A. F. dos Santos , J. V. Silva , R. R. Vasconcelos , W. Schau , C. Werner and D. C. Muchaluat-Saade , \" aNa: API for NCL Authoring,\" in Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications , 2012 . J. A. F. dos Santos, J. V. Silva, R. R. Vasconcelos, W. Schau, C. Werner and D. C. Muchaluat-Saade, \"aNa: API for NCL Authoring,\" in Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications, 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2526188.2526214"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s005300050155"}],"event":{"name":"Webmedia '16: 22nd Brazilian Symposium on Multimedia and the Web","sponsor":["FAPEPI Fundacao de Amparo a Pesquisa do Estado do Piaui","SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CGIBR Comite Gestor da Internet no Brazil","CAPES Brazilian Higher Education Funding Council","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGMM ACM Special Interest Group on Multimedia"],"location":"Teresina Piau\u00ed State Brazil","acronym":"Webmedia '16"},"container-title":["Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976796.2988167","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976796.2988167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:29Z","timestamp":1750217969000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976796.2988167"}},"subtitle":["Graphic Application for NCL Documents Temporal Test Creation"],"short-title":[],"issued":{"date-parts":[[2016,11,8]]},"references-count":29,"alternative-id":["10.1145\/2976796.2988167","10.1145\/2976796"],"URL":"https:\/\/doi.org\/10.1145\/2976796.2988167","relation":{},"subject":[],"published":{"date-parts":[[2016,11,8]]},"assertion":[{"value":"2016-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}