A formal refinement framework for the systems modeling language
<p>The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UML), is a visual modelling language for systems engineering applications. At present, the semi-formal SysML, which is widely utilised for the design of complex heterogeneous systems, lacks int...
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Tesi |
| Lingua: | English |
| Pubblicazione: |
2015
|
| Soggetti: |