Observations for Assertion-based Scenarios in the context of ModelValidation

Emine  G. Aydal; Richard   Freeman Paige; James Woodcock

Observations for Assertion-based Scenarios in the context of ModelValidation

Emine G. Aydal, Richard Freeman Paige, James Woodcock

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

Original language	English
Title of host publication	Electronic Communications of the EASST : Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008
Editors	Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Jordi Cabot, Martin Gogolla, Pieter Van Gorp
Number of pages	16
Publication date	2008
Publication status	Published - 2008
Externally published	Yes
Event	8th International Workshop onOCL Concepts and Tools - Toulouse, France Duration: 28 Sept 2008 → 3 Oct 2008

Conference

Conference	8th International Workshop onOCL Concepts and Tools
Country/Territory	France
City	Toulouse
Period	28/09/2008 → 03/10/2008

Access to Document

https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

Library access?

Check availability with the Royal Danish Library

Cite this

G. Aydal, E., Freeman Paige, R., & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of ModelValidation. In T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla, & P. Van Gorp (Eds.), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008 https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

G. Aydal, Emine ; Freeman Paige, Richard ; Woodcock, James. / Observations for Assertion-based Scenarios in the context of ModelValidation. Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008. editor / Tiziana Margaria ; Julia Padberg ; Gabriele Taentzer ; Jordi Cabot ; Martin Gogolla ; Pieter Van Gorp. 2008.

@inproceedings{159272f9bf14467a89eb332f0bba30e1,

title = "Observations for Assertion-based Scenarios in the context of ModelValidation",

author = "\{G. Aydal\}, Emine and \{Freeman Paige\}, Richard and James Woodcock",

year = "2008",

language = "English",

editor = "\{ Margaria\}, \{Tiziana \} and Padberg, \{Julia \} and \{ Taentzer\}, \{Gabriele \} and \{ Cabot\}, \{Jordi \} and \{ Gogolla\}, \{Martin \} and \{ Van Gorp\}, \{Pieter \}",

booktitle = "Electronic Communications of the EASST",

note = "8th International Workshop onOCL Concepts and Tools ; Conference date: 28-09-2008 Through 03-10-2008",

}

G. Aydal, E, Freeman Paige, R & Woodcock, J 2008, Observations for Assertion-based Scenarios in the context of ModelValidation. in T Margaria, J Padberg, G Taentzer, J Cabot, M Gogolla & P Van Gorp (eds), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008. 8th International Workshop onOCL Concepts and Tools, Toulouse, France, 28/09/2008. <https://journal.ub.tu-berlin.de/eceasst/article/view/181/178>

Observations for Assertion-based Scenarios in the context of ModelValidation. / G. Aydal, Emine ; Freeman Paige, Richard ; Woodcock, James.
Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008. ed. / Tiziana Margaria; Julia Padberg; Gabriele Taentzer; Jordi Cabot; Martin Gogolla; Pieter Van Gorp. 2008.

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

TY - GEN

T1 - Observations for Assertion-based Scenarios in the context of ModelValidation

AU - G. Aydal, Emine

AU - Freeman Paige, Richard

AU - Woodcock, James

PY - 2008

Y1 - 2008

M3 - Article in proceedings

BT - Electronic Communications of the EASST

A2 - Margaria, Tiziana

A2 - Padberg, Julia

A2 - Taentzer, Gabriele

A2 - Cabot, Jordi

A2 - Gogolla, Martin

A2 - Van Gorp, Pieter

T2 - 8th International Workshop onOCL Concepts and Tools

Y2 - 28 September 2008 through 3 October 2008

ER -