Formalisation of SysML design models and an analysis strategy using refinement
The increasing complexity of systems has led to increasing difficulty in design. Thestandard approach to development, based on trial and error, with testing used at later stages toidentify errors, is costly and leads to unpredictable delivery times. In addition, for critical systems,for which safety...
| Main Author: | LIMA, Lucas Albertins de |
|---|---|
| Other Authors: | IYODA, Juliano Manabu |
| Format: | doctoralThesis |
| Language: | eng |
| Published: |
Universidade Federal de Pernambuco
2016
|
| Subjects: | |
| Online Access: |
https://repositorio.ufpe.br/handle/123456789/17636 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|