A Formally Founded Framework for Dynamic Software Architectures.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Architecture description languages
-
Dynamic Architectures
-
Dynamic reconfiguration
-
Formal verification
-
Software Architecture
-
Software architecture
-
Statistical model checking
-
Temporal logic
Identidade
identificador BrCris
-
8dacbf207f2f46551c1971a6d1202e1e
identificador Capes
identificador Oasisbr
-
UFRN_67db25e5aa7c639f026f5a6f68336527