Login / Signup
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
Published in:
Softw. Syst. Model. (2017)
Keyphrases
</>
design process
modelling language
support systems
design patterns
design choices
formal semantics
formal methods
engineering design
metamodel
computational models
expert systems
statistical models
semantic information
model selection
software engineering
probabilistic model
data model