Marcadores
mde
sle
dsl
software language engineering
modeling
model-driven engineering
domain-specific language
software engineering
gemoc
sustainability
modeling language
iot
ale
sirius
emf
eclipse
rascal
flexmde
model typing
model debugging
concurrency analysis
coordination
concurrency
software verification and validation
metamodeling
coq
coinduction
infinite model
agile software development
diversity
spl
variability
debugging
cps
v&v
hdr
Ver mais
- Apresentações
- Documentos
- Infográficos