Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva

Source URL: alloytools.org

• Formal methods
• Computing
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Software engineering
• Modeling languages
• Object Process Methodology
• Economic model

On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho

Source URL: alloytools.org

• Formal methods
• Theoretical computer science
• Mathematics
• Artificial intelligence
• Educational psychology
• Neuropsychological assessment
• Problem solving
• Solver
• Equation solving
• Alloy

FIRST SECTION CASE OF THE UITED MACEDOIA ORGAISATIO ILIDE – PIRI AD OTHERS v. BULGARIA (Application noJUDGMENT STRASBOURG

Source URL: www.concernedhistorians.org

FIRST SECTION CASE OF STA KOV A D THE U ITED MACEDO IA ORGA ISATIO ILI DE v. BULGARIA (Applications nosandJUDGMENT STRASBOURG

Source URL: www.concernedhistorians.org

1 A FORMAÇÃO SOCIAL BRASILEIRA NO ESPAÇO: O CAPITALISMO MERCANTIL E A CONFORMAÇÃO DO NORDESTE José Micaelson Lacerda Morais (URCA) - Fernando Cezar de Macedo (UNICAMP) - fernando.cez

Source URL: www.abphe.org.br

http://www.diva-portal.org This is the published version of a paper published in Journal of Vision. Citation for the original published paper (version of record): Macedo, A F., Crossland, M D., Rubin, G S)

Source URL: pdfs.semanticscholar.org

Snyder Day Care Staff Flores. Miranda (DC teacher) Garcia, Naomi (DC teacher) Lopez, Lori (DC teacher) Macedo, Soledad (DC teacher) Martinez, Margaret (DC teacher)

Source URL: www.scurrycommunityservices.com

Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg To cite this version:

Source URL: hal.archives-ouvertes.fr

CMYK Ciência Editora: Ana Paula Macedo

Source URL: premioabear.maxpressnet.com.br

Moção Saber para Fazer Acontecer Filipe Borges de Macedo Teima a Ordem dos Arquitectos em

Source URL: www.congressodosarquitectos.pt