Universidade do Minho Programa Doutoral em Modernidades Comparadas: Literaturas, Artes e Culturas ILCH / CEHUM

Source URL: ceh.ilch.uminho.pt

As Freguesias na Reforma da Administração Local SEMINÁRIO E Inscrições: NEDAL - Escola de Direito - Universidade do Minho

Source URL: www.nedal.uminho.pt

PATOLOGIAS CORRUPTIVAS EM DEBATE NA UNIVERSIDADE DO MINHO No âmbito do VIII Seminário de “Interlocuções Jurídicas Luso-Brasileiras”, que decorreu na Universidade do Minho nos dias 9 e 10 de Julho, foi tratado o

Source URL: www.nedal.uminho.pt

Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, PBraga, Portugal Email:

Source URL: cs.ioc.ee

XVII Colóquio de Outono do CEHUM Outros Mapas. Linguagem, Migração, Diáspora 26 e 27 de novembro de 2015 Universidade do Minho CHAMADA DE COMUNICAÇÕES Para o painel

Source URL: cehum.ilch.uminho.pt

XXXI Encontro Nacional da Associação Portuguesa de Linguística 28, 29 e 30 de outubro de 2015, Universidade do Minho Programa Quarta-feira, 28 de outubro de 2015 Abertura de Inscrições

Source URL: ceh.ilch.uminho.pt

SEMINÁRIO “A reforma da administração local: problemas e soluções” 11 de maio de 2012 Escola de Direito da Universidade do Minho

Source URL: www.nedal.uminho.pt

43 Estação CF - Universidade do Minho UNIVERSIDADE DO MINHO (

Source URL: meetingsethicspoliticalphil.weebly.com

Bidirectional Spreadsheet Formulas ⇤ HASLab, Nuno Macedo⇤ , Hugo Pacheco† , Nuno Rocha Sousa⇤ , Alcino Cunha⇤ INESC TEC & Universidade do Minho, Portugal {nfmmacedo,nrsousa,alcino}@di.uminho.pt

Source URL: wiki.di.uminho.pt

• Spreadsheet software
• Software
• Spreadsheet
• Logical spreadsheet
• Numbers
• Microsoft Excel
• Formula
• Invariant
• Lotus Improv
• Functional Database Model

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT