Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

G Liebel; Adebayo Anjorin; E. Knauss; Florian Lorber; Matthias Tichy

doi:10.5220/0006205604270434

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

G Liebel, Adebayo Anjorin, E. Knauss, Florian Lorber, Matthias Tichy

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

15 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Editors	L.F. Pires, S. Hammoudi, B. Selic
Volume	1
Place of Publication	Portugal
Publisher	SCITEPRESS Digital Library
Publication date	2017
Pages	427-434
ISBN (Print)	978-989-758-210-3
DOIs	https://doi.org/10.5220/0006205604270434
Publication status	Published - 2017
Event	The 5th International Conference on Model-Driven Engineering and Software Development - Porto, Portugal Duration: 19 Feb 2017 → 21 Feb 2017 Conference number: 5 http://www.modelsward.org/

Conference

Conference	The 5th International Conference on Model-Driven Engineering and Software Development
Number	5
Country/Territory	Portugal
City	Porto
Period	19/02/2017 → 21/02/2017
Internet address	http://www.modelsward.org/

Access to Document

10.5220/0006205604270434

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Liebel, G., Anjorin, A., Knauss, E., Lorber, F., & Tichy, M. (2017). Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 1, pp. 427-434). SCITEPRESS Digital Library. https://doi.org/10.5220/0006205604270434

@inproceedings{f1c54d525ef14779a76679274eafb62f,

title = "Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry",

author = "G Liebel and Adebayo Anjorin and E. Knauss and Florian Lorber and Matthias Tichy",

year = "2017",

doi = "10.5220/0006205604270434",

language = "English",

isbn = "978-989-758-210-3",

volume = "1",

pages = "427--434",

editor = "L.F. Pires and S. Hammoudi and B. Selic",

booktitle = "Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development",

publisher = "SCITEPRESS Digital Library",

note = "The 5th International Conference on Model-Driven Engineering and Software Development ; Conference date: 19-02-2017 Through 21-02-2017",

url = "http://www.modelsward.org/ ",

}

Liebel, G, Anjorin, A, Knauss, E, Lorber, F & Tichy, M 2017, Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. in LF Pires, S Hammoudi & B Selic (eds), Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. vol. 1, SCITEPRESS Digital Library, Portugal, pp. 427-434, The 5th International Conference on Model-Driven Engineering and Software Development, Porto, Portugal, 19/02/2017. https://doi.org/10.5220/0006205604270434

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. / Liebel, G; Anjorin, Adebayo; Knauss, E. et al.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ed. / L.F. Pires; S. Hammoudi; B. Selic. Vol. 1 Portugal: SCITEPRESS Digital Library, 2017. p. 427-434.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

AU - Liebel, G

AU - Anjorin, Adebayo

AU - Knauss, E.

AU - Lorber, Florian

AU - Tichy, Matthias

N1 - Conference code: 5

PY - 2017

Y1 - 2017

UR - http://www.scitepress.org/ProceedingsDetails.aspx?ID=Z4vPvN7Lb98=&t=1

U2 - 10.5220/0006205604270434

DO - 10.5220/0006205604270434

M3 - Article in proceeding

SN - 978-989-758-210-3

VL - 1

SP - 427

EP - 434

BT - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development

A2 - Pires, L.F.

A2 - Hammoudi, S.

A2 - Selic, B.

PB - SCITEPRESS Digital Library

CY - Portugal

T2 - The 5th International Conference on Model-Driven Engineering and Software Development

Y2 - 19 February 2017 through 21 February 2017

ER -

Liebel G, Anjorin A, Knauss E, Lorber F, Tichy M. Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. In Pires LF, Hammoudi S, Selic B, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Vol. 1. Portugal: SCITEPRESS Digital Library. 2017. p. 427-434 doi: 10.5220/0006205604270434

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Conference

Access to Document

AUB Link

Other files and links

Cite this