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,...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
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:
Computação
Software architecture
Architectural description language
Model-driven development
Formal verification
SysADL
Pi-ADL
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/handle/123456789/53351
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/handle/123456789/53351

Registros relacionados