1 Search Results for "Martini, Ricardo Giuliani"

Document

Short Paper

DOI: 10.4230/OASIcs.SLATE.2018.10

CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

Authors: Ricardo Giuliani Martini and Pedro Rangel Henriques

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)

Abstract

In the context of Cultural Heritage, memory institutions build exhibition rooms to expose their assets and disseminate knowledge through these learning spaces. CaVa project aims at facilitating the process of learning spaces construction on the web to implement virtual museums. This paper presents CaVa^DSL, an external Domain-Specific Language (DSL) designed to specify virtual Learning Spaces enabling their automatic generation. To introduce CaVa^DSL language, the paper runs a case study, Museu Virtual Interativo da Fotografia (MVIF), presenting the specification for the museum's exhibiting rooms and their final layout. The process that analyzes and transforms the formal specification into the virtual Learning Spaces is briefly described to present the core engine of CaVa platform.

Cite as

Ricardo Giuliani Martini and Pedro Rangel Henriques. CaVa: Virtual Learning Spaces Formal Specification (Short Paper). In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 10:1-10:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{martini_et_al:OASIcs.SLATE.2018.10,
  author =	{Martini, Ricardo Giuliani and Henriques, Pedro Rangel},
  title =	{{CaVa: Virtual Learning Spaces Formal Specification}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{10:1--10:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.10},
  URN =		{urn:nbn:de:0030-drops-92687},
  doi =		{10.4230/OASIcs.SLATE.2018.10},
  annote =	{Keywords: domain-specific languages, formal specification, context free grammars, virtual museums, virtual learning spaces}
}

Refine by Author
1 Henriques, Pedro Rangel
1 Martini, Ricardo Giuliani

Refine by Classification
1 Software and its engineering → Domain specific languages

Refine by Keyword
1 context free grammars
1 domain-specific languages
1 formal specification
1 virtual learning spaces
1 virtual museums

Refine by Type
1 document

Refine by Publication Year
1 2018

1 Search Results for "Martini, Ricardo Giuliani"

CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message