Assunto
Software architecture
2
Architectural description language
1
Arquitetura de software
1
Arquiteturas de software
1
Computação
1
Engenharia de software
1
Estilo arquitetural
1
Formal verification
1
Internet das Coisas (IoT)
1
Linguagem de descrição arquitetural
1
Linguagens de descrição arquitetural
1
Lógica temporal
1
Missions
1
Missões
1
Model to model
1
Model-driven development
1
Modeling methodology
1
Pi-ADL
1
Reconfiguração dinâmica
1
Sistemas-de-sistemas
1
SysADL
1
Systems-of-systems
1
Validation and verification
1
Verificação estatística
1
Verificação formal
1