Enriching SysML-based software architecture descriptions: a model-driven approach
The critical nature of many complex software-intensive systems requires formal architecture descriptions for supporting automated architectural analysis regarding correctness properties. Due to the challenges of adopting formal approaches, many architects have preferred using notations such as UML,...
Na minha lista:
Autor principal: | Araújo, Camila de |
---|---|
Outros Autores: | Batista, Thais Vasconcelos |
Formato: | doctoralThesis |
Idioma: | pt_BR |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/handle/123456789/53351 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
FormAr: software architecture formalization for critical applications
por: Dias, Fagner Morais
Publicado em: (2022) -
Towards software architecture formalization
por: Dias, Fagner Morais
Publicado em: (2023) -
A practical guide to SysML : the systems modeling language /
por: Friedenthal, Sanford., et al.
Publicado em: (2022) -
Mission-driven software-intensive system-of-systems architecture design
por: Silva, Eduardo Alexandre Ferreira
Publicado em: (2019) -
Software architecture in action : designing and executing architectural models with SysADL grounded on the OMG SysML standard /
por: Oquendo, Flavio,, et al.
Publicado em: (2022)