Browsing by Subject "Maude"
Now showing items 1-1 of 1
-
Uma ferramenta formal para especificação e análise de arquiteturas de software
| Posted on: 30 mai. 2005Complex computational systems can be organized as components, that execute in a concurrent and possibly in a distributed way. The modeling of such systems has to consider coordination requirements comprising inter-component ...