Uma ferramenta formal para especificação e análise de arquiteturas de software

Downloads:

BibTeX:

  {%raw%}@mastersthesis{masterthesis-3,
  author = {Rademaker, Alexandre},
  title = {Uma ferramenta formal para especifica\c{c}\~{a}o e an\'{a}lise de arquiteturas de software},
  year = {2005},
  pdflink1 = {/files/MasterThesis.pdf},
  slides = {/files/MasterThesisSlides.pdf},
  school = {Universidade Federal Fluminense}
}
{%endraw%}