Licenciatura Bolonha em Engenharia Informática e de Computadores - Alameda

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Abordar de modo formal o estudo da modelação e correcção necessários para especificação e desenvolvimento de programas. Com a frequência da disciplina pretende-se que os alunos obtenham conhecimento sobre modelação de sistemas. Os alunos deverão dominar a linguagem Unified Modelling Language (UML), segundo as diferentes perspectivas e a diferentes níveis de abstracção.