Abstração e Refinamento: Modelando Arquiteturas em Camadas Palestrante: Hernán Astudillo A palestra introduzirá e explorará o uso de abstração e refinamento no processo de modelagem de arquitetura de software. Serão abordados: - modelos em camadas, com notações e técnicas para descrever e relacioná-las; - os mecanismos de abstração e refinamento, e como eles geram modelos em camadas; - comparação da descrição do processo e do seu produto; - ilustração de modelos e mecanismos com um exemplo simples mas relativamente completo; - e por fim um exemplo complexo, de um grande projeto, de modo a indicar como as técnicas são usadas na prática.