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

Downloads:

• full text
• slides

BibTeX:

@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}
}