An integrated semantics for reasoning about SysML design models using refinement

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis. An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling, 16(3):875-902, 2017. [doi]

Authors

Lucas Lima

This author has not been identified. Look up 'Lucas Lima' in Google

Alvaro Miyazawa

This author has not been identified. Look up 'Alvaro Miyazawa' in Google

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google

Márcio Cornélio

This author has not been identified. Look up 'Márcio Cornélio' in Google

Juliano Iyoda

This author has not been identified. Look up 'Juliano Iyoda' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google

Ralph Hains

This author has not been identified. Look up 'Ralph Hains' in Google

Adrian Larkham

This author has not been identified. Look up 'Adrian Larkham' in Google

Vaughan Lewis

This author has not been identified. Look up 'Vaughan Lewis' in Google