Comparação dos ensaios DCB e TDCB para determinação da tenacidade em tração de adesivos estruturais

O constante desenvolvimento observado nas ligações adesivas, em conjunto com as melhorias verificadas nas características dos adesivos, estão a ser traduzidos, de uma certa forma, num aumento das aplicações das ligações adesivas, assim como na variedade de aplicações. No âmbito da previsão de resistência de juntas adesivas, dois métodos de grande relevância são a Mecânica da Fratura e os Modelos de Dano Coesivo. Os Modelos de Dano Coesivo permitem a simulação da iniciação e propagação do dano, recorrendo ao Método Dos Elementos Finitos. No que concerne à Mecânica da Fratura, a previsão de resistência é geralmente feita através de uma análise energética. Independentemente da forma como é obtida, a taxa crítica de libertação de energia de deformação à tração (GIc) dos adesivos é um dos parâmetros mais importantes para a previsão da resistência das juntas. Dois dos ensaios mais utilizados são o Double Cantilever Beam (DCB) e o Tapered Double Cantilever Beam (TDCB). Este trabalho pretende determinar e comparar o valor de GIc em juntas adesivas pelos ensaios DCB e TDCB. São utilizados três tipos de adesivos com diferentes graus de ductilidade. No ensaio DCB os métodos utilizados para a determinação de GIc são: Compliance-Based Beam Method (CBBM), Corrected Beam Theory (CBT) e Compliance Calibration Method (CCM). Os métodos utilizados no ensaio TDCB são: Simple Beam Theory (SBT), Corrected Beam Theory (CBT) e Compliance Calibration Method (CCM). Os resultados obtidos apresentam concordância entre os vários métodos de cada ensaio. A discrepância de resultados é superior quando comparados os dois tipos de ensaios.

Determinação da tenacidade à fratura de adesivos estruturais em modo misto pelo ensaio Single-Leg Bending

A utilização de juntas adesivas em aplicações industriais tem vindo a aumentar, em detrimento dos métodos tradicionais tais como a soldadura, brasagem e ligações aparafusadas e rebitadas. Este facto deve-se às vantagens que estas oferecem, como o facto de serem mais leves, comportarem-se bem sob cargas cíclicas ou de fadiga, a ligação de materiais diferentes e menores concentrações de tensões. Para aumentar a confiança no projeto de estruturas adesivas, é importante conseguir prever com precisão a sua resistência mecânica e respetivas propriedades de fratura (taxa crítica de libertação de energia de deformação à tração, GIC, e corte, GIIC). Estas propriedades estão diretamente relacionadas com a Mecânica da Fratura e são estimadas através de uma análise energética. Para este efeito, distinguem-se três tipos de modelos: modelos que necessitam da medição do comprimento de fenda durante a propagação do dano, modelos que utilizam um comprimento de fenda equivalente e métodos baseados no integral J. Como na maioria dos casos as solicitações ocorrem em modo misto (combinação de tração com corte), é de grande importância a perceção da fratura nesta condições, nomeadamente das taxas de libertação de energia relativamente a diferentes critérios ou envelopes de fratura. Esta comparação permite, por exemplo, averiguar qual o melhor critério energético de rotura a utilizar em modelos numéricos baseados em Modelos de Dano Coesivo. Neste trabalho é realizado um estudo experimental utilizando o ensaio Single-Leg Bending (SLB) em provetes colados com três tipos de adesivos, de forma a estudar e comparar as suas propriedades de fratura. Para tal, são aplicados alguns modelos de redução da taxa de libertação de energia de deformação à tração, GI, e corte, GII, enquadrados nos modelos que necessitam da medição do comprimento de fenda e nos modelos que utilizam um comprimento de fenda equivalente. Numa fase posterior, procedeu-se à análise e comparação dos resultados adquiridos durante a fase experimental de GI e GII de cada adesivo. A discussão de resultados foi também feita através da análise dos valores obtidos em diversos envelopes de fratura, no sentido de averiguar qual o critério de rotura mais adequado a considerar para cada adesivo. Foi obtida uma concordância bastante boa entre métodos de determinação de GI e GII, com exceção do adesivo mais dúctil, para o qual o método baseado no comprimento de fenda equivalente apresentou resultados ligeiramente superiores.

Orientação para o mercado, vantagens competitivas e desempenho organizacional: contributos na constrição e proposta de um modelo conceptual

O mercado empresarial e as Pequenas e Médias Empresas (PME) estão actualmente em mudança e manifesta competitividade, o que reforça a necessidade de inovação e diferenciação das suas actividades, capacidades e recursos. Para enfrentar os (novos) desafios, as organizações carecem de ser empreendedoras e definir processos e modelos de gestão de orientação de mercado. Esta orientação, cada vez mais, assume um papel importante na “função de gestão” e estratégia das organizações. O objectivo deste trabalho é propor um modelo conceptual, no qual se analisa a relação entre a orientação de mercado, a orientação empreendedora e a capacidade de inovação, aferindo a influência e o impacto destas variáveis no desempenho e resultados de gestão das organizações. Para realizar este estudo, iremos utilizar uma metodologia quantitativa apoiada numa inquirição de corte transversal, a partir do envio de questionários estruturados aos responsáveis das PME nacionais. Utilizaremos a metodologia de modelização de equações estruturais para testar o modelo proposto e as hipóteses subjacentes. O presente estudo procura contribuir para a identificação de processos de competitividade empresarial passíveis de influenciar as decisões de gestão dos gestores e o desenvolvimento das PME.

Determinação da tenacidade à fratura em corte (GIIc) de adesivos estruturais pelo ensaio End-Notched Flexure (ENF)

Os adesivos têm sido alvo de estudo ao longo dos últimos anos para ligação de componentes a nível industrial. Devido à crescente utilização das juntas adesivas, torna-se necessária a existência de modelos de previsão de resistência que sejam fiáveis e robustos. Neste âmbito, a determinação das propriedades dos adesivos é fundamental para o projeto de ligações coladas. Uma abordagem recente consiste no uso de modelos de dano coesivo (MDC), que permitem simular o comportamento à fratura das juntas de forma bastante fiável. Esta técnica requer a definição das leis coesivas em tração e corte. Estas leis coesivas dependem essencialmente de 2 parâmetros: a tensão limite e a tenacidade no modo de solicitação respetivo. O ensaio End-Notched Flexure (ENF) é o mais utilizado para determinar a tenacidade em corte, porque é conhecido por ser o mais expedito e fiável para caraterizar este parâmetro. Neste ensaio, os provetes são sujeitos a flexão em 3 pontos, sendo apoiados nas extremidades e solicitados no ponto médio para promover a flexão entre substratos, o que se reflete numa solicitação de corte no adesivo. A partir deste ensaio, e após de definida a tenacidade em corte (GIIc), existem alguns métodos para estimativa da lei coesiva respetiva. Nesta dissertação são definidas as leis coesivas em corte de três adesivos estruturais através do ensaio ENF e um método inverso de ajuste dos dados experimentais. Para o efeito, foram realizados ensaios experimentais considerado um adesivo frágil, o Araldite® AV138, um adesivo moderadamente dúctil, o Araldite® 2015 e outro dúctil, o SikaForce® 7752. O trabalho experimental consistiu na realização dos ensaios ENF e respetivo tratamento dos dados para obtenção das curvas de resistência (curvas-R) através dos seguintes métodos: Compliance Calibration Method (CCM), Direct Beam Theory (DBT), Corrected Beam Theory (CBT) e Compliance-Based Beam Method (CBBM). Os ensaios foram simulados numericamente pelo código comercial ABAQUS®, recorrendo ao Métodos de Elementos Finitos (MEF) e um MDC triangular, com o intuito de estimar a lei coesiva de cada um dos adesivos em solicitação de corte. Após este estudo, foi feita uma análise de sensibilidade ao valor de GIIc e resistência coesiva ao corte (tS 0), para uma melhor compreensão do efeito destes parâmetros na curva P- do ensaio ENF. Com o objetivo de testar adequação dos 4 métodos de obtenção de GIIc usados neste trabalho, estes foram aplicados a curvas P- numéricas de cada um dos 3 adesivos, e os valores de GIIc previstos por estes métodos comparados com os respetivos valores introduzidos nos modelos numéricos. Como resultado do trabalho realizado, conseguiu-se obter uma lei coesiva única em corte para cada um dos 3 adesivos testados, que é capaz de reproduzir com precisão os resultados experimentais.

Aplicação de um método de correlação de imagem para a determinação da tenacidade à fratura em corte de adesivos estruturais

Qualquer estrutura hoje em dia deve ser resistente, robusta e leve, o que aumentou o interesse industrial e investigação nas ligações adesivas, nomeadamente pela melhoria das propriedades de resistência e fratura dos materiais. Com esta técnica de união, o projeto de estruturas pode ser orientado para estruturas mais leves, não só em relação à economia direta de peso relativamente às juntas aparafusas ou soldadas, mas também por causa da flexibilidade para ligar materiais diferentes. Em qualquer área da indústria, a aplicação em larga escala de uma determinada técnica de ligação supõe que estão disponíveis ferramentas confiáveis para o projeto e previsão da rotura. Neste âmbito, Modelos de Dano Coesivo (MDC) são uma ferramenta essencial, embora seja necessário estimar as leis MDC do adesivo à tração e corte para entrada nos modelos numéricos. Este trabalho avalia o valor da tenacidade ao corte (GIIC) de juntas coladas para três adesivos com ductilidade distinta. O trabalho experimental consiste na caracterização à fratura ao corte da ligação adesiva por métodos convencionais e pelo Integral-J. Além disso, pelo integral-J, é possível definir a forma exata da lei coesiva. Para o integral-J, é utilizado um método de correlação de imagem digital anteriormente desenvolvido para a avaliação do deslocamento ao corte do adesivo na extremidade da fenda (δs) durante o ensaio, acoplado a uma sub-rotina em Matlab® para a extração automática de δs. É também apresentado um trabalho numérico para avaliar a adequabilidade de leis coesivas triangulares aproximadas em reproduzir as curvas força-deslocamento (P-δ) experimentais dos ensaios ENF. Também se apresenta uma análise de sensibilidade para compreender a influência dos parâmetros coesivos nas previsões numéricas. Como resultado deste trabalho, foram estimadas experimentalmente as leis coesivas de cada adesivo pelo método direto, e numericamente validadas, para posterior previsão de resistência em juntas adesivas. Em conjunto com a caraterização à tração destes adesivos, é possível a previsão da rotura em modo-misto.

Modelação de juntas adesivas por modelos de dano coesivo utilizando o método direto

A utilização de adesivos hoje em dia encontra-se de tal forma disseminada que é transversal a diversos setores do mercado, como a indústria aeroespacial, aeronáutica, automóvel e do desporto. De facto, o uso de ligações adesivas em estruturas mecânicas tem vindo a crescer, na medida em que estes têm substituído os métodos de ligação convencionais, tais como brasagem, rebitagem, ligações aparafusadas e soldadura. No geral, as ligações adesivas apresentam diversas vantagens, desde a diminuição do peso, redução da concentração de tensões, facilidade de fabrico, bom comportamento a solicitações cíclicas e capacidade de unir materiais dissimilares. O crescente interesse da indústria nas ligações adesivas tem por base o aumento da confiabilidade nos métodos de previsão de resistência de estruturas adesivas. Neste contexto surgem os Modelos de Dano Coesivo, que permitem simular o crescimento do dano em estruturas, após introdução das leis coesivas previamente estimadas nos modelos numéricos. Uma das fases mais importantes neste método de previsão é a estimativa das leis coesivas em tração e corte, pelo que se torna de grande relevância a existência e validação de métodos precisos para a obtenção destas leis. Este trabalho visa a validação de leis coesivas em tração e corte, estimadas pela aplicação do método direto, na previsão da resistência de juntas com geometria de solicitação mista. Neste âmbito, ensaiaram-se JSS e JSD com diferentes comprimentos de sobreposição e com adesivos de diferente ductilidade. Foram considerados os adesivos Araldite® AV138, de elevada resistência e baixa ductilidade, o Araldite® 2015, de moderada ductilidade e resistência intermédia, e o SikaForce® 7752, de baixa resistência e elevada ductilidade. As leis coesivas em modo puro serviram de base para a criação de leis simplificadas triangulares, trapezoidais e linearesexponenciais, que foram testadas para cada um dos adesivos. A validação das mesmas consumou-se por comparação das previsões numéricas com os resultados experimentais. Procedeu-se também a uma análise de tensões de arrancamento e de corte no adesivo, de modo a compreender a influência das tensões na resistência das juntas. A utilização do método direto permitiu obter previsões de resistência bastante precisas, indicando as formas de leis coesivas mais adequadas para cada conjunto adesivo/geometria de junta. Para além disso, para as condições geométricas e materiais consideradas, este estudo permitiu concluir que não se cometem erros significativos na escolha de uma lei menos adequada.

Os modelos das demonstrações financeiras

Orientador: Doutor, José Manuel Veiga Pereira

Linfangiogénese no tecido adiposo em modelos de doença inflamatória crónica (asma e obesidade): uma abordagem por imunohistoquímica e lipidómica

O tecido adiposo é um órgão endócrino dinâmico, secretando factores importantes na regulação do metabolismo, fluxo vascular sanguíneo e linfático, e função imunológica, entre outros. Em caso de acumulação de tecido adiposo por ingestão de uma dieta gorda, ou por disfunção metabólica, os adipócitos podem desencadear uma reacção inflamatória por falha na drenagem linfática, acumulando-se mediadores inflamatórios, os quais potenciam a propagação da reacção. Assim, questiona-se uma potencial associação entre o aumento de tecido adiposo na obesidade, hipóxia adipocitária e estimulação da linfangiogénese. Além disso, a expressão de adipocinas varia de acordo com a distribuição do tecido adiposo (subcutâneo, TAS e visceral, TAV). Deste modo, pretende-se com este estudo contribuir para o aumento do conhecimento sobre os complexos mecanismos moleculares subjacentes à linfangiogénese. Ensaios com ratinhos da estirpe C57Bl/6J (modelo de obesidade) e BALB/c (modelo de asma e obesidade), divididos em grupos submetidos a dieta normal e dieta rica em gordura. Avaliação semi-quantitativa da expressão tecidular de LYVE-1 (marcador da linfangiogénese) por imunohistoquímica em material embebido em parafina, no TAS e TAV, e cromatografia líquida de ultra-performance acoplada de espectrometria de massa (UPLC-MS) para análise da expressão plasmática de ceramida e esfingosina-1-fosfato (S1P). No modelo de obesidade observou- -se diminuição do número de vasos linfáticos e expressão de LYVE-1 ao longo do tempo no TAV, e aumento de ambos os parâmetros e hipertrofia adipocitária no TAS. As concentrações de ceramida e S1P corroboram a existência de um processo inflamatório nos ratinhos em estudo, ainda que numa fase muito inicial. No modelo de asma e obesidade, após 17 semanas de tratamento, observou-se incremento da linfangiogénese no TAV, mas não no TAS. A resposta inflamatória avaliada através dos diferentes parâmetros permite afirmar que num estadio inicial de obesidade a proliferação linfática poderá estar a ser retardada pela hipertrofia adipocitária. A libertação de adipocinas será observada apenas numa fase posterior, desencadeando todo o processo inflamatório que incrementará a proliferação linfática. Adicionalmente, é possível sugerir que a maior pressão à qual o TAV se encontra sujeito não favorece a proliferação linfática, pelo menos num estadio incial.

Modelos para a determinação do risco da taxa de juro

Introdução PARTE 1 - Noções gerais e metodologias de medição baseadas nos diferenciais 1.1. Noção de risco 1.2. Principais riscos na actividade bancária 1.3. Modelos de quantificação do risco da taxa de juro 1.4. Modelos para quantificar o risco de reinvestimento 1.5. O modelo de diferencial de duração (DD) 1.6. Modelos para quantificar o risco de preço 1.7. Diferencial de duração da situação líquida 1.8. Vantagens/desvantagens dos modelos de duração (resultado e situação líquida) 1.9. Perspectivas e conclusão sobre os Modelos de Diferencial de Fundos e Duração PARTE II - Conceito de VAR 2.1 A noção de VAR (Valor em Risco) 2.2 Conceitos-chave dos modelos VAR 2.3 Fórmula de cálculo da duração modificada 2.4 A importância da duração para determinar a sensibilidade da taxa de juro 2.5 A problemática da convexidade 2.6 O conceitos de volatilidade 2.7 A agregação dos riscos 2.8 O tratamento do VAR com a matriz de correlação do andamento das taxas de juro 2.9 Esquemas sequenciais de cálculo da volatilidade preço - taxa de juro e VAR PARTE III - Casos práticos de VAR 3.1 As relações entre as taxas a prazo (forward) e as taxas à vista (spot) 3.2 Desenvolvimento de um caso prático 3.3 Cálculo do diferencial de duração e do VAR aplicado à situação líquida 3.4 Admissão de pressupostos 3.5 Os diferentes VAR´s 3.6 A importância do VAR no contexto de gestão de risco numa instituição 3.7 Os modelos de simulação estática e dinâmica PARTE IV - Situações especiais 4.1 O tratamento dos FRA´s e futuros 4.2 O tratamento das opções 4.3 O tratamento dos swap´s taxa de juro 4.4 A aplicação do modelo VAR aos riscos taxa de juro e cambial 4.5 A utilização dos modelos VAR na afectação do capital (RAROC) 4.6 A análise da instruçaõ nº 19/2005 ANEXOS Anexo 1 - Instrução nº 19/2005: risco de taxa de juro da carteira bancária Anexo 2 - Instrução nº 72/96: Princípios orientadores para ocontrolo do risco da taxa de juro Anexo 3 - Anexo V do Aviso nº 7/96 Conclusão Índice dos Quadros Bibliografia

Os modelos de governance nas nonprofit organizations de actuação local: uma revisão de literatura

O crescimento do sector não lucrativo, por força da criação de novas organizações sem fins lucrativos, tem-se acentuado nos últimos anos tentando dar resposta ao serviço público que a comunidade exige e que o Estado não tem sabido dar resposta. O sector não lucrativo, ou terceiro sector, realiza funções sociais ou culturais relevantes para a sociedade sem o objectivo de produzir lucros. Em Portugal não existem, para este sector, padrões específicos para os modelos de gestão nem tipologias de informação a utilizar pelos seus stakeholders e, por isso, utilizam-se os mesmos moldes do sector empresarial, cumprindo assim a real consistência do isomorfismo mimético. Existe claramente uma diferença entre os objectivos da informação financeira e não financeira nas organizações lucrativas e nas não lucrativas, e essa destrinça tem a ver directamente com os tipos de destinatários e utilizadores da informação. A abordagem às práticas de corporate governance é uma incontornável realidade no mundo organizacional actual face ao crescente aumento das preocupações das organizações enquanto agentes económicos, sociais e políticos. A sociedade exige às organizações não lucrativas transparência e accountability da informação financeira e não financeira (Carvalho & Blanco, 2007a)) e por isso a adopção de práticas de governance pode trazer benefícios na solução de alguns problemas de gestão. Esta investigação pretende, assim, fazer uma revisão de literatura sobre os modelos de governance, numa abordagem à gestão das organizações sem fins lucrativos de âmbito local, contribuindo assim para a possível definição de um modelo de governance próprio para o sector não lucrativo português.

A experiência da unidade autónoma de gestão de cirurgia do Centro Hospitalar de São João E.P.E modelos de gestão intermédia hospitalar

As organizações de saúde são muito particulares devido à sua missão, aos recursos que mobilizam, aos processos que dinamizam, à produção que realizam e ainda à envolvente externa onde se inserem (Reis, 2007). Os sucessivos esforços que têm sido utilizados na reforma na saúde, sobretudo a partir de 1988, têm sido uma constante da agenda política na tentativa de aumentar a eficiência dos serviços prestados, a efetividade dos resultados e a responsabilidade dos profissionais. A empresarialização do Hospital de São João operada a partir de 2006, com a publicação do Dec.Lei 233/05 de 29 de Dezembro, tornou como imperativo estratégico a alteração profunda do modelo de gestão até então praticado. Este era caracterizado por uma forte componente administrativa, de cariz burocrática, e sob ponto de vista económico assentava em sucessivos deficits e no permanente aumento e descontrolo da despesa. Tomando como pressuposto que a única via de modificar esse padrão passava entre outras medidas pela efetivação de uma gestão descentralizada, vieram a ser criadas seis estruturas intermédias de gestão designadas por “Unidades Autónomas de Gestão”. Estas tinham como objetivo aumentar o valor em saúde, melhorar a gestão dos serviços clínicos, potenciando desse modo a qualidade e efetividade dos cuidados prestados, bem como a eficiência dos recursos utilizados. Neste sentido, o propósito deste trabalho centra-se em demonstrar que a implementação de um modelo de gestão descentralizado como é o caso da Unidade Autónoma de Gestão de Cirurgia, doravante designada por UAGC, constituiu uma opção gestionária eficaz e altamente promissora na governação clínica, desmistificando o mito da “ingovernabilidade dos hospitais centrais” como era apanágio do Hospital S. João. Cremos que a descentralização da gestão enquanto forma de reengenharia da organização interna dos hospitais constitui um importante instrumento no sentido de orientar e motivar o comportamento dos gestores (sejam eles clínicos ou não) para o cumprimento dos objetivos institucionais, através da implementação de políticas de desconcentração de poderes, competências e responsabilidades. Embora existam outros modelos de organização ao nível da gestão intermédia, na verdade, a implementação destas estruturas descentralizadas traduziu-se numa inegável mais valia organizativa e gestionária do CHSJ. como os indicadores de desempenho mais à frente tentarão demonstrar. Temos consciência que este modelo está longe de ser perfeito, e que por vezes não é corretamente entendido pelos profissionais, que o encaram como uma necessidade de cariz exclusivamente económica. Porém o caminho já percorrido pela UAGC ao longo destes 5 anos permite-nos afirmar que é possível “fazer mais” com “os mesmos recursos”, desde que exista uma clara estratégia de ação suportada em programas concretos e exequíveis, praticados num clima social participado e responsabilizante.

Estudo comparativo dos modelos de Markowitz e Sharpe

A teoria da carteira de Harry Markowitz, originalmente publicada em 1952 no Journal of Finance, "Portfolio Selection", desenvolveu um método de solução geral do problema da estrutura das carteiras, que engloba o tratamento quantificado do risco. Propõe a determinação de um conjunto de carteiras eficientes empregando unicamente os conceitos de média para a rentabilidade que se espera obter e de variância (ou desvio padrão) para a incerteza associada a essa rentabilidade, e daí a denominação de média-variância à análise de Markowitz. Chamou também a atenção para a diversificação das carteiras, mostrando como um investidor pode reduzir o desvio padrão da rendibilidade da carteira através da escolha de acções cujas variações não sejam exactamente paralelas.

Modelos para apuramento do risco de taxa de juro

Alterações nas taxas de juro podem afectar o resultado e a situação líquida das instituições financeiras. O resultado destas empresas é sensível a alterações se o custo dos fundos é mais (ou menos) sensível que os proveitos obtidos. A situação líquida é sensível a alterações se o valor dos activos é mais (ou menos) sensível que o valor dos passivos. Este risco da taxa de juro resultante das alterações das taxas pode ser controlado através de diversos modelos. Os modelos mais usuais baseiam-se nos diferenciais de fundos (GAP), diferenciais de duração e valor em risco (VaR) que são apresentados de forma sequencial neste trabalho.

Integração e contextualização de modelos 3D no ensino da área da saúde

Mestrado em Engenharia Informática. Sistemas Gráficos e Multimédia.

Exploração do UML para a derivação automática de requisitos arquitecturais. Uma abordagem orientada a modelos

O desenvolvimento de software orientado a modelos defende a utilização dos modelos como um artefacto que participa activamente no processo de desenvolvimento. O modelo ocupa uma posição que se encontra ao mesmo nível do código. Esta é uma abordagem importante que tem sido alvo de atenção crescente nos últimos tempos. O Object Management Group (OMG) é o responsável por uma das principais especificações utilizadas na definição da arquitectura dos sistemas cujo desenvolvimento é orientado a modelos: o Model Driven Architecture (MDA). Os projectos que têm surgido no âmbito da modelação e das linguagens específicas de domínio para a plataforma Eclipse são um bom exemplo da atenção dada a estas áreas. São projectos totalmente abertos à comunidade, que procuram respeitar os standards e que constituem uma excelente oportunidade para testar e por em prática novas ideias e abordagens. Nesta dissertação foram usadas ferramentas criadas no âmbito do Amalgamation Project, desenvolvido para a plataforma Eclipse. Explorando o UML e usando a linguagem QVT, desenvolveu-se um processo automático para extrair elementos da arquitectura do sistema a partir da definição de requisitos. Os requisitos são representados por modelos UML que são transformados de forma a obter elementos para uma aproximação inicial à arquitectura do sistema. No final, obtêm-se um modelo UML que agrega os componentes, interfaces e tipos de dados extraídos a partir dos modelos dos requisitos. É uma abordagem orientada a modelos que mostrou ser exequível, capaz de oferecer resultados práticos e promissora no que concerne a trabalho futuro.