By the same authors

From the same journal

From the same journal

An integrated semantics for reasoning about SysML design models using refinement

Research output: Contribution to journalArticle

Standard

An integrated semantics for reasoning about SysML design models using refinement. / Lima, Lucas; Miyazawa, Alvaro; Cavalcanti, Ana Lucia Caneca; Cornelio, Marcio; Lyoda, Juliano; Sampaio, Augusto; Hains, Ralph; Larkham, Adrian; Lewis, Vaughan.

In: Software and Systems Modeling, 2015, p. 1-28.

Research output: Contribution to journalArticle

Harvard

Lima, L, Miyazawa, A, Cavalcanti, ALC, Cornelio, M, Lyoda, J, Sampaio, A, Hains, R, Larkham, A & Lewis, V 2015, 'An integrated semantics for reasoning about SysML design models using refinement', Software and Systems Modeling, pp. 1-28. https://doi.org/10.1007/s10270-015-0492-y

APA

Lima, L., Miyazawa, A., Cavalcanti, A. L. C., Cornelio, M., Lyoda, J., Sampaio, A., ... Lewis, V. (2015). An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling, 1-28. https://doi.org/10.1007/s10270-015-0492-y

Vancouver

Lima L, Miyazawa A, Cavalcanti ALC, Cornelio M, Lyoda J, Sampaio A et al. An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling. 2015;1-28. https://doi.org/10.1007/s10270-015-0492-y

Author

Lima, Lucas ; Miyazawa, Alvaro ; Cavalcanti, Ana Lucia Caneca ; Cornelio, Marcio ; Lyoda, Juliano ; Sampaio, Augusto ; Hains, Ralph ; Larkham, Adrian ; Lewis, Vaughan. / An integrated semantics for reasoning about SysML design models using refinement. In: Software and Systems Modeling. 2015 ; pp. 1-28.

Bibtex - Download

@article{0a06957d3a3b4f8eafd31442d9396e94,
title = "An integrated semantics for reasoning about SysML design models using refinement",
author = "Lucas Lima and Alvaro Miyazawa and Cavalcanti, {Ana Lucia Caneca} and Marcio Cornelio and Juliano Lyoda and Augusto Sampaio and Ralph Hains and Adrian Larkham and Vaughan Lewis",
year = "2015",
doi = "10.1007/s10270-015-0492-y",
language = "English",
pages = "1--28",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - An integrated semantics for reasoning about SysML design models using refinement

AU - Lima, Lucas

AU - Miyazawa, Alvaro

AU - Cavalcanti, Ana Lucia Caneca

AU - Cornelio, Marcio

AU - Lyoda, Juliano

AU - Sampaio, Augusto

AU - Hains, Ralph

AU - Larkham, Adrian

AU - Lewis, Vaughan

PY - 2015

Y1 - 2015

U2 - 10.1007/s10270-015-0492-y

DO - 10.1007/s10270-015-0492-y

M3 - Article

SP - 1

EP - 28

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1366

ER -