Standard
Domain-specific languages for enterprise systems. / Andersen, Jesper; Bahr, Patrick; Henglein, Fritz; Hvitved, Tom.
Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2014. p. 73-95 (Lecture notes in computer science, Vol. 8802).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Andersen, J, Bahr, P
, Henglein, F & Hvitved, T 2014,
Domain-specific languages for enterprise systems. in T Margaria & B Steffen (eds),
Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Springer, Lecture notes in computer science, vol. 8802, pp. 73-95, International Symposium, ISoLA 2014, Imperial, Corfu, Greece,
08/10/2014.
https://doi.org/10.1007/978-3-662-45234-9_6
APA
Andersen, J., Bahr, P.
, Henglein, F., & Hvitved, T. (2014).
Domain-specific languages for enterprise systems. In T. Margaria, & B. Steffen (Eds.),
Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (pp. 73-95). Springer. Lecture notes in computer science Vol. 8802
https://doi.org/10.1007/978-3-662-45234-9_6
Vancouver
Andersen J, Bahr P
, Henglein F, Hvitved T.
Domain-specific languages for enterprise systems. In Margaria T, Steffen B, editors, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Springer. 2014. p. 73-95. (Lecture notes in computer science, Vol. 8802).
https://doi.org/10.1007/978-3-662-45234-9_6
Author
Andersen, Jesper ; Bahr, Patrick ; Henglein, Fritz ; Hvitved, Tom. / Domain-specific languages for enterprise systems. Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2014. pp. 73-95 (Lecture notes in computer science, Vol. 8802).
Bibtex
@inproceedings{e3c9b9c0c0724dc78524f0cb352ae3a9,
title = "Domain-specific languages for enterprise systems",
author = "Jesper Andersen and Patrick Bahr and Fritz Henglein and Tom Hvitved",
year = "2014",
doi = "10.1007/978-3-662-45234-9_6",
language = "English",
isbn = "978-3-662-45233-2",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "73--95",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging applications of formal methods, verification and validation. Technologies for mastering change",
address = "Switzerland",
note = "null ; Conference date: 08-10-2014 Through 11-10-2014",
}
RIS
TY - GEN
T1 - Domain-specific languages for enterprise systems
AU - Andersen, Jesper
AU - Bahr, Patrick
AU - Henglein, Fritz
AU - Hvitved, Tom
N1 - Conference code: 6
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-662-45234-9_6
DO - 10.1007/978-3-662-45234-9_6
M3 - Article in proceedings
SN - 978-3-662-45233-2
T3 - Lecture notes in computer science
SP - 73
EP - 95
BT - Leveraging applications of formal methods, verification and validation. Technologies for mastering change
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer
Y2 - 8 October 2014 through 11 October 2014
ER -