A rewriting logic semantics for NCL-Reference-Cited by-同舟云学术

A rewriting logic semantics for NCL

Published:2015-09 Issue: Volume:107-108 Page:64-92
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

dos Santos Joel,Braga Christiano,Muchaluat-Saade Débora C.

Funder

FAPERJ

CNPq

Publisher

Elsevier BV

Subject

Software

Reference34 articles.

1. ABNT, Digital terrestrial television – data coding and transmission specification for digital broadcasting – part 2: Ginga-NCL for fixed and mobile receivers – XML application language for application coding, aBNT NBR 15606-2:2011 standard, 2011.

2. ITU, Nested Context Language (NCL) and Ginga-NCL for IPTV services, ITU-T recommendation H.761, 2009.

3. W3C, Extensible Markup Language (XML) 1.0 (fifth edition), World-Wide Web Consortium recommendation, 2008.

4. Design methodology and formal validation of hypermedia documents;Santos,1998

5. A statechart-based model for hypermedia applications;de Oliveira;ACM Trans. Inf. Syst.,2001

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal verification of IoT applications using rewriting logic: An MDE-based approach;Science of Computer Programming;2022-10

2. Synchronization Management in Hypermedia Documents;Journal of Integrated Design and Process Science;2021-01-13

3. A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents;ACM Transactions on Multimedia Computing, Communications, and Applications;2018-11-30

4. A design-oriented method to build correct hypermedia documents;Multimedia Tools and Applications;2017-12-23

5. Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process;Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web;2017-10-17