José Fiadeiro
Bayesian networks Refactoring Unified Modeling Language (UML) algorithms classification clustering component systems distributed computing logic metamodeling model checking modeling program analysis requirements engineering semantics