1
Assuntos:
“...Program refinement...”
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais.
Tese