• Nenhum resultado encontrado

REQUIREMENT ANALYSIS, ARCHITECTURAL DESIGN AND FORMAL VERIFICATION OF A MULTI-AGENT BASED UNIVERSITY INFORMATION MANAGEMENT SYSTEM

N/A
N/A
Protected

Academic year: 2017

Share "REQUIREMENT ANALYSIS, ARCHITECTURAL DESIGN AND FORMAL VERIFICATION OF A MULTI-AGENT BASED UNIVERSITY INFORMATION MANAGEMENT SYSTEM"

Copied!
9
0
0

Texto

Loading

Referências

Documentos relacionados

qualquer pessoa em qualquer fase do seu ciclo vital e de todos os locais do mundo (Quartilho, 2010). Ambas são doenças que provocam grande prejuízo, provocando perdas

Para o caso de estudo do modelo exponencial proposto por meio do uso do banco de dados 1, as métricas de desempenho também foram melhores do que as métricas provenientes da

systems control automation agent system manufacturing multi service approach industrial distributed engineering model production collaborative iec smart management networks

processo de desumanização do homem a partir do relato histórico de Hannah Arendt sobre o extermínio em massa de milhões de pessoas pelo regime totalitário; demonstrar

Com base nos valores de referência para a concentração de Cu, Pb e Zn no cabelo (Tabela 40, Tabela 41 e Tabela 44 – Anexos), e tendo em conta os intervalos de

Embora a Teoria da Aprendizagem Significativa de David Ausubel (TAS) (AUSUBEL et al.,1980) seja a base teórica que fundamenta os mapas conceituais, Ausubel não teve participação

Esse novo perfil de público denomina-se LOHAS (Lifestyle of Health and Sustainabi- lity), traduzido como Estilo de Vida, Saúde e Sustentabilidade, ou seja, pessoas

Para o beneficiamento da areia será necessário um sistema de peneiramento a úmido, seguido da classificação de finos, um sistema de limpeza de alta pressão de misturas