Formal Specification of Open Standards and the Case of RSS v2.0

Konstantinos Barlas; Eleni Berki; Iulia Adomnita; Thrushna Nalam; Golnaz Nejad; Jari Veijalainen

doi:10.1145/2645791.2645809

Formal Specification of Open Standards and the Case of RSS v2.0

Konstantinos Barlas, Eleni Berki, Iulia Adomnita, Thrushna Nalam, Golnaz Nejad, Jari Veijalainen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Proceedings of the 18th Panhellenic Conference on Informatics
Editors	Socrates Katsikas
Place of Publication	New York
Publisher	ACM
ISBN (Print)	978-1-4503-2897-5
DOIs	https://doi.org/10.1145/2645791.2645809
Publication status	Published - 2014
Publication type	A4 Article in conference proceedings
Event	Panhellenic Conference on Informatics - Duration: 1 Jan 2016 → …

Conference

Conference	Panhellenic Conference on Informatics
Period	1/01/16 → …

Keywords

formal specification
open source software
open standards
rss
software quality

Publication forum classification

Publication forum level 0

Access to Document

10.1145/2645791.2645809

Cite this

@inproceedings{e02f9cc8e7954ed78bde4b5f0a32f47e,

title = "Formal Specification of Open Standards and the Case of RSS v2.0",

keywords = "formal specification, open source software, open standards, rss, software quality, formal specification, open source software, open standards, rss, software quality",

author = "Konstantinos Barlas and Eleni Berki and Iulia Adomnita and Thrushna Nalam and Golnaz Nejad and Jari Veijalainen",

year = "2014",

doi = "10.1145/2645791.2645809",

language = "English",

isbn = "978-1-4503-2897-5",

editor = "Socrates Katsikas",

booktitle = "Proceedings of the 18th Panhellenic Conference on Informatics",

publisher = "ACM",

note = "Panhellenic Conference on Informatics ; Conference date: 01-01-2016",

}

TY - GEN

T1 - Formal Specification of Open Standards and the Case of RSS v2.0

AU - Barlas, Konstantinos

AU - Berki, Eleni

AU - Adomnita, Iulia

AU - Nalam, Thrushna

AU - Nejad, Golnaz

AU - Veijalainen, Jari

PY - 2014

Y1 - 2014

KW - formal specification

KW - open source software

KW - open standards

KW - rss

KW - software quality

KW - formal specification

KW - open source software

KW - open standards

KW - rss

KW - software quality

U2 - 10.1145/2645791.2645809

DO - 10.1145/2645791.2645809

M3 - Conference contribution

SN - 978-1-4503-2897-5

BT - Proceedings of the 18th Panhellenic Conference on Informatics

A2 - Katsikas, Socrates

PB - ACM

CY - New York

T2 - Panhellenic Conference on Informatics

Y2 - 1 January 2016

ER -