k_OS - Linguagem para Analise Dimensional Projecto de LFA desenvolvido por: Daniel Marques, Francisco Morgado, Jorge Catarino, Oscar Pimentel, Paulo Vasconcelos Ano letivo 17/18