A formally founded framework for dynamic software architectures
Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that oper...
Na minha lista:
Autor principal: | Cavalcante, Everton Ranielly de Sousa |
---|---|
Outros Autores: | Batista, Thais Vasconcelos |
Formato: | doctoralThesis |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/23763 |
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) -
Model checking /
por: Clarke, E. M.,, et al.
Publicado em: (2022) -
Systems and software verification : model-checking techniques and tools /
por: Bérard, Béatrice et al.
Publicado em: (2022) -
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond.
Publicado em: (2022)