Relevant bibliographies by topics / 681.3.019 / Dissertations / Theses
To see the other types of publications on this topic, follow the link: 681.3.019.

Dissertations / Theses on the topic '681.3.019'

Author: Grafiati
Published: 8 September 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic '681.3.019.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Carvalho, Elizabeth Simão. "CHUB : um modelo cartográfico para a visualização e análise do corpo humano." Doctoral thesis, Universidade do Minho, 2008. http://hdl.handle.net/1822/8298.

Full text
Abstract:
Tese de Doutoramento em Tecnologias e Sistemas de Informação - Área do Conhecimento Engenharia de Programação e dos Sistemas Informáticos<br>A visualização é a representação visual realística ou abstracta de um conjunto de dados que são gerados por modelos computacionais ou resultantes de medições físicas realizadas no mundo real. É fundamental para auxiliar as pessoas a compreenderem dados e processos complexos e pode ser classificada consoante os seus objectivos (nomeadamente a visualização científica e de informação). A correcta modelação e caracterização dos dados são partes fundament
APA, Harvard, Vancouver, ISO, and other styles
2

Нестеренко, Наталія Вадимівна. "Система обслуговування відеоконтенту для сегменту дистанційного навчання". Master's thesis, Київ, 2018. https://ela.kpi.ua/handle/123456789/27242.

Full text
Abstract:
Метою роботи є забезпечити методологічні та технологічні аспекти створення відеоконтенту для сегменту дистанційного навчання. Об’єкт дослідження: процес кодування, передавання та декодування відеосигналу у дистанційному навчанні. У дисертації виконано аналіз стандартів кодування, стандарти оцінки якості, cтек протоколів передавання відеоданих, проаналізовано існуючі платформи для дистанційного навчання та виконано їх порівняння. Розглянуті методологічні аспекти удосконалення від звичайного відеконтенту до інтерактивного. Запропоновано технології, що забезпечують створення високоякісного ко
APA, Harvard, Vancouver, ISO, and other styles
3

Rodrigues, Rui. "Robust and hardware-accelerated 3D point and line reconstruction from images." Doctoral thesis, 2006. http://hdl.handle.net/1822/7027.

Full text
Abstract:
Tese de doutoramento em Informática<br>A área de Visão por Computador dedica-se a dotar os sistemas computacionais de capacidades de aquisição e processamento de informação visual, de forma a tornar possível uma série de tarefas – a detecção ou seguimento de objectos, o reconhecimento de objectos e símbolos – ou a resolver outros problemas mais complexos, como monitorização e vigilância, verificação de identidade ou controlo de qualidade. Um problema importante que tem atraído a atenção dos investigadores desta área é o da reconstrução 3D, que além de ser uma tarefa complexa que pode envolv
APA, Harvard, Vancouver, ISO, and other styles
4

Ferreira, Luís Gonzaga Martins. "Formalizing markup languages for user interface." Master's thesis, 2004. http://hdl.handle.net/1822/6113.

Full text
Abstract:
Dissertação de mestrado em Informática<br>This document presents a Dissertation theme, as integral part of Masters Degree in Distributed Systems, Computers Architecture and Computers Communication. The work has as primary objective the application of formal methods in the specification of presentation layer. Even reaching several relevance HCI concerns, the scope focus essentially on the way how formal methods can be explored to specify user interfaces described using markup languages.The state-of-the-art analysis of user interface markup languages and UIML-User Interface Markup Language form
APA, Harvard, Vancouver, ISO, and other styles
5

Maciel, Ivone Alexandra Lima. "Avaliação de software de dimensionamento em alvenaria estrutural." Master's thesis, 2007. http://hdl.handle.net/1822/8206.

Full text
Abstract:
Dissertação de Mestrado em Engenharia Civil - Projecto de Estruturas e Geotecnia<br>A alvenaria como a técnica de construção mais antiga da história da humanidade tende a ressurgir nos dias de hoje após um período de domínio do aço e betão que levou à estagnação da sua utilização na construção civil. Tem sido levada a cabo uma vasta investigação nesta área de modo a caracterizar este tipo de estrutura, quer em termos mecânicos como funcionais, desenvolvendo-se novos materiais com maiores capacidades e técnicas de construção mais estáveis. Contribuindo para o conhecimento mais aprofundado
APA, Harvard, Vancouver, ISO, and other styles
6

Brito, Miguel António Sousa Abrunhosa de. "Gestão do conhecimento organizacional no desenvolvimento de software : metodologia de avaliação da maturidade." Doctoral thesis, 2008. http://hdl.handle.net/1822/8907.

Full text
Abstract:
Tese de doutoramento - Engenharia e Gestão de Sistemas de Informação<br>O estudo da gestão do conhecimento organizacional é objecto de atenção do mundo académico desde já há alguns anos mas ainda não se traduz numa prática ordinária no universo empresarial. Há, no entanto, um despertar generalizado para a problemática associada à gestão do conhecimento e começa-se a verificar a sua integração nos processos organizacionais com mais incidência nas empresas de maior dimensão. As organizações dedicadas ao desenvolvimento de software e em geral à engenharia de software estão particularmente
APA, Harvard, Vancouver, ISO, and other styles
7

Silva, Paulo Rui Lopes Pereira da. "Avaliação da aplicação do itSMF OGC ITIL service management self assessment questionnaire a serviços de gestão de configurações : um caso de estudo." Master's thesis, 2012. http://hdl.handle.net/1822/23218.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Sistemas<br>Este trabalho pretende avaliar, em simultâneo, o estado dos serviços de uma equipa de configurações de software de uma organização e a própria aplicabilidade do instrumento de avaliação escolhido (itSMF OCG ITIL Service Management Self Assessement Questionnaire). Pretende deixar um contributo à forma e conteúdo da aplicação da framework de avaliação e lançar bases na organização, em que o estudo se insere, para a aproximação dos serviços prestados às boas práticas ITIL, com a certificação IS0 20000 no horizonte. Para cumprir esse objetivo,
APA, Harvard, Vancouver, ISO, and other styles
8

Morgado, André Correia. "Data warehouses espaciais : projeto e implementação." Master's thesis, 2013. http://hdl.handle.net/1822/27869.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>Segundo um estudo realizado pela empresa International Data Corporation (IDC) (Adrian Bridgwater, 2009), o mercado dos data warehouses tem tido um grande crescimento. Cada vez mais as empresas procuram guardar todos os dados relacionados com o seu negócio, de forma a obter o máximo de conhecimento possível, podendo, assim, tomar melhor decisões relacionadas com o seu negócio. Os data warehouses aparecem como uma ferramenta útil para suporte a processos de tomada de decisão. A capacidade dos data warehouses guardarem grandes quantidades de da
APA, Harvard, Vancouver, ISO, and other styles
9

Viana, Marta Alexandra Rolo Neiva. "Extracção de conhecimento a partir do software Open-Source de Business Intelligence Pentaho em Unidade de Cuidados Intensivos." Master's thesis, 2012. http://hdl.handle.net/1822/23408.

Full text
Abstract:
Dissertação de mestrado integrado em Engenharia Biomédica<br>As organizações de saúde têm como principal objectivo a prestação de serviços de qualidade à população, e a tomada de decisões de forma rápida e e caz é essencial para que tais objectivos sejam atingidos. Deste modo, neste sector, a adopção de ferramentas tecnológicas automatizadas que facilitam este processo tem vindo a aumentar ao longo dos anos. Neste contexto, surge o conceito de Business Intelligence (BI) que auxilia a tomada de decisão por parte dos pro ssionais de saúde, uma vez que estes sistemas se baseiam na Extracçã
APA, Harvard, Vancouver, ISO, and other styles
10

Borges, Pedro Miguel Pereira. "Configuração do RUP com vista à simplificação dos elencos processuais em PMEs de desenvolvimento de software." Master's thesis, 2008. http://hdl.handle.net/1822/8062.

Full text
Abstract:
Dissertação de Mestrado em Sistemas de Informação<br>In the last decades we have been witnessing a significant increase in the complexity inherent to software development projects, due not only to a higher degree of sophistication in the contexts they aim to serve, but also to the natural evolution of the features implemented by the available software systems and applications. On the other hand, the international competition lead by the so-called software factories, frequently based on countries with low labour costs (India, China, Pakistan, etc.), increasingly threatens the portuguese so
APA, Harvard, Vancouver, ISO, and other styles
11

Matos, Paulo Jorge. "Um modelo arquitectónico para desenvolvimento de compiladores : aplicação à Framework Dolphin." Doctoral thesis, 2005. http://hdl.handle.net/1822/2700.

Full text
Abstract:
Tese de doutoramento em Informática, especialização em Tecnologias da Programação<br>A indústria dos microprocessadores é uma área com uma dinâmica ímpar, reconhecida pelo seu avançado estado tecnológico, mas também pela sua constante evolução. Esta dinâmica deve-se em grande parte à pressão que é constantemente exercida no sentido de se obter maior poder computacional. Pressão essa que tem crescido de forma exponencial, e à qual não é alheia a forte expansão da Web e o uso generalizado de conteúdos multimédia. No entanto, esta evolução só é rentabilizada através da utilização de ferramentas
APA, Harvard, Vancouver, ISO, and other styles
12

Librelotto, Giovani Rubert. "Topic maps : da sintaxe à semântica." Doctoral thesis, 2005. http://hdl.handle.net/1822/4822.

Full text
Abstract:
Dissertação de doutoramento em Informática.<br>Segundo a definição proposta em Topic Maps Data Model (Garshol and Moore, 2005), Topic Maps são estruturas abstractas que podem codificar o conhecimento, conectando-o com recursos de informação relevantes. Os Topic Maps permitem a estruturação da informação através de uma rede semântica composta por tópicos associados. Actualmente, a maior parte dos Topic Maps são construídos manualmente. Este tipo de edição acarreta custos de ordem temporal e financeira, pois apesar de haver ferramentas propícias para a sua edição, as mesmas perdem eficiência qu
APA, Harvard, Vancouver, ISO, and other styles
13

Ramalho, José Carlos. "Anotação estrutural de documentos e sua semântica : especificação da sintaxe, semântica e estilo para documentos." Doctoral thesis, 2000. http://hdl.handle.net/1822/5625.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Cardoso, Paulo Francisco da Silva. "Uma framework para a geração de sistemas operativos orientados à aplicação." Doctoral thesis, 2007. http://hdl.handle.net/1822/8577.

Full text
Abstract:
Tese de Doutoramento em Electrónica Industrial<br>Esta tese centra-se na geração de sistemas operativos à medida das aplicações, no âmbito de ambientes de recursos limitados, nomeadamente sistemas embebidos e de tempo real. A adaptação de sistemas operativos permitida por esta abordagem, minimiza a utilização de recursos, o que vai ao encontro das necessidades dos ambientes com restrições de hardware. De forma a operacionalizar a geração destes sistemas, foi criada uma framework que define as estratégias e mecanismos necessários, sob a forma de ferramentas de software, para que se possam
APA, Harvard, Vancouver, ISO, and other styles
15

Metrôlho, José Carlos Meireles Monteiro. "MiADL : linguagem para geração automática de simuladores redireccionáveis." Doctoral thesis, 2008. http://hdl.handle.net/1822/7983.

Full text
Abstract:
Tese de Doutoramento em Electrónica Industrial - Área de Conhecimento em Informática Industrial<br>Os sistemas embutidos, além de fazerem cada vez mais parte da vida do cidadão comum, são dispositivos cada vez mais sofisticados e complexos. As equipas de desenvolvimento de sistemas embutidos têm por isso de lidar com complexidade crescente para atingir performances e requisitos cada vez mais exigentes (ex. hierarquias de memória complexas). Estes dispositivos exigem ferramentas de software – tais como: simuladores, depuradores, assembladores ou compiladores – que têm que acompanhar a evo
APA, Harvard, Vancouver, ISO, and other styles
16

Gonçalves, João Pedro da Cunha. "Análise e desenvolvimento de extensões de controlo para o ambiente Scratch." Master's thesis, 2012. http://hdl.handle.net/1822/28085.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>A Programação Visual permite a construção de programas usando imagens, ícones, entre outros elementos gráficos, em vez da usual escrita de texto. A linguagem Scratch é uma linguagem de programação visual lançada em 2007 pelo MIT Media Lab, que tem vindo a ser usada em contextos de ensino para crianças e em contextos de programação lightweight. O ambiente Scratch foi desenvolvido usando a linguagem de programação por objetos Squeak Smalltalk. A programação visual em Scratch baseia-se na metáfora do bloco de LEGO que se encaixa em blocos compa
APA, Harvard, Vancouver, ISO, and other styles
17

Azevedo, Rui Filipe Pereira de. "Systematic method for UML model to model transformation : development and verification in alloy." Master's thesis, 2012. http://hdl.handle.net/1822/28076.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>The Unified Modeling Language (UML) is nowadays the industry standard notation for modelling software systems using an object-oriented approach. The Object Management Group (OMG) manages this standardization. UML combines several modelling techniques and its models have visual representations through UML diagrams. Despite being widely accepted, used and also recommended by software development processes like Rational Unified Process (RUP) and Agile, two major UML weaknesses are recognized by the overall software community: it is a nota
APA, Harvard, Vancouver, ISO, and other styles
18

Silva, Diogo. "ETL systems modelling with Coloured Petri Nets." Master's thesis, 2013. http://hdl.handle.net/1822/27955.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>ETL (Extract-Transform-Load) systems are formed by processes responsible for the extraction of data from several sources, cleaning and transforming it in accordance with some prerequisites of a data warehouse, and finally loading it in its multidimensional structures. ETL processes are the most complex tasks involved with a Data Warehousing System, being crucial to model them previously so that, during the implementation stage, the correct set of requirements is considered. Coloured Petri Nets (CPN) are a graphical modelling language used i
APA, Harvard, Vancouver, ISO, and other styles
19

Eiras, Mário André Barbosa. "Formalizing Alloy with a shallow embedding to Isabelle/HOL." Master's thesis, 2011. http://hdl.handle.net/1822/28264.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Formal methods are techniques developed with a mathematical basis in order to ensure a high level of quality on a software product. In this group of techniques there are some which favor the simplicity of use over the reliability of the results in order to reduce the resources that such approaches require. These so called "lightweight" formal methods emphasize partial specifications and rely on automatic analysis. Alloy is a declarative specification language designed to be "lightweight". It was designed along with a model checking
APA, Harvard, Vancouver, ISO, and other styles
20

Silva, Rui Filipe Veiga Rebelo da. "Implementação de grafos no ambiente de programação visual Scratch." Master's thesis, 2012. http://hdl.handle.net/1822/28265.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>A linguagem Scratch é uma linguagem de programação visual lançada em 2007 pelo MIT Media Labs que tem vindo a ser usada em contextos de e-learning para crianças. O ambiente Scratch foi desenvolvido usando a linguagem de programação por objetos Squeak. A programação visual em Scratch baseia-se na metáfora do bloco de LEGO que se encaixa em blocos compatíveis para criar comportamentos, em geral animações. O sucesso deste ambiente open source conduziu à necessidade de o rever e aumentar visando a sua eventual aplicação noutros contextos. Est
APA, Harvard, Vancouver, ISO, and other styles
21

Cadinha, João Pedro Domingues. "Interpretador SMIL de alta performance para controlo de apresentações multimédia num servidor de streaming de media para dispositivos móveis." Master's thesis, 2009. http://hdl.handle.net/1822/28944.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>O Synchronized Multimedia Integration Language (SMIL) é um padrão definido pelo World Wide Web Consortium (W3C), baseado na eXtended Markup Language (XML), usada no controlo de apresentações multimédia. Esta linguagem é usada principalmente nos Serviços de Mensagens Multimédia mas, actualmente, também é usada nos High Definition DVD para interactividade e para vídeos na Internet. Este documento descreve de que forma o Ambulant Player, um animador de SMIL open-source, foi modificado para controlar apresentação multimédia fornecidas por um Me
APA, Harvard, Vancouver, ISO, and other styles
22

Cadete, Daniel Nascimento. "From natural language requirements to formal descriptions in Alloy through boilerplates." Master's thesis, 2012. http://hdl.handle.net/1822/27964.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Formal Methods are usually applied by specialists in the final phases of software development. They aim to identify programming errors, and through that reduce the probability of a future failure. Usually, errors are more related with misinterpretation of requirements than with bad programming. More than ever, requirements documents deal with complex terms, which programmers aren’t familiar with, resulting in an increase of misinterpretation of requirements and increasing the costs of the execution of a software project. The use of f
APA, Harvard, Vancouver, ISO, and other styles
23

Lopes, Paulo Alexandre da Silva. "Program and aspect metrics for MATLAB : design and implementation." Master's thesis, 2011. http://hdl.handle.net/1822/28001.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>MATLAB is an programming language supported by an interactive software for high performance dedicated to the numerical calculation. MATLAB integrates numerical analysis, matrix computation, signal processing and construction of charts an friendly-use environment, where operations on matrices are simplified by using MATLAB, contrary to what happens in traditional programming. In MATLAB language the basic element of information are matrices in which the dimensioning can be done dynamically. This system allows the resolution of many numer
APA, Harvard, Vancouver, ISO, and other styles
24

Silva, João Carlos. "GUIsurfer: a tool for reverse engineering of graphical user interfaces." Doctoral thesis, 2010. http://hdl.handle.net/1822/12267.

Full text
Abstract:
Tese de doutoramento em Informática (ramo de conhecimento em Fundamentos da Computação)<br>Tools are currently available to developers that allow for fast development of user interfaces with graphical components. However, the design of interactive systems does not seem to be much improved by the use of such tools. Interfaces are often difficult to understand and use for end users. In many cases users have problems in identifying all the supported tasks of a system, or in understanding how to achieve their goals. Moreover, the code produced by such tools is difficult to understand and mai
APA, Harvard, Vancouver, ISO, and other styles
25

Bragança, Alexandre Manuel Tavares. "Methodological approaches and techniques for model driven development of software product lines." Doctoral thesis, 2008. http://hdl.handle.net/1822/8137.

Full text
Abstract:
Tese de Doutoramento em Sistemas de Informação - Engenharia de Programação e dos Sistemas Informáticos<br>Two recent approaches in software engineering are capturing the attention of the academic community as well as the industry: model driven engineering and software product lines. The software product line approach to software development is being put into practice from several years and the results seen very promising. However, the resources required to implement this approach are very significant and, as such, a wide adoption of the software product line approach is still not a realit
APA, Harvard, Vancouver, ISO, and other styles
26

Ribeiro, Marco Aurélio Martins. "A utilização de sistemas groupware/workflow para suportar o desenvolvimento de software em equipa." Master's thesis, 2008. http://hdl.handle.net/1822/8201.

Full text
Abstract:
Dissertação de Mestrado em Sistemas de Informação<br>A indústria de desenvolvimento de software é uma força económica importante, na sociedade moderna. O software encontra-se presente em inúmeros sistemas e produtos com quem interagimos diariamente. A pressão da procura de software incentivou a investigação de novos métodos e técnicas que permitissem melhorar a qualidade do software desenvolvido, nasceu assim a disciplina da Engenharia de Software. Os projectos de software modernos, devido à sua complexidade e dimensão, são desenvolvidos por equipas de profissionais. As equipas são a org
APA, Harvard, Vancouver, ISO, and other styles
27

Sá, Jorge Vaz de Oliveira e. "ASA - Análise de Sistemas Automática." Master's thesis, 1993. http://hdl.handle.net/1822/125.

Full text
Abstract:
A produtividade da equipa de desenvolvimento e a qualidade das aplicações produzidas são dois dos principais problemas que ainda persistem no desenvolvimento de Sistemas de Informação. Estes problemas existem devido ao desenvolvimento de aplicações informáticas ser ainda do tipo "papel e lápis" e estar fortemente, dependente, da experiência da equipa de desenvolvimento, o que implica consequentemente o aparecimento de inúmeras falhas e/ou lapsos. ASA, Análise de Sistemas Automática, é o resultado de uma tentativa de solução dos problemas anteriores. ASA é composto por um método de análise e u
APA, Harvard, Vancouver, ISO, and other styles
28

Ribeiro, Óscar R. "Animation-based validation of reactive software systems using behavioural models." Doctoral thesis, 2009. http://hdl.handle.net/1822/10218.

Full text
Abstract:
Tese de doutoramento em Informática<br>During the development of software systems, validation is a crucial activity to guarantee that the software system ful lls the users' needs and expectations. A key issue to have a successful validation consists in adopting a process where users and clients can actively discuss the requirements of the system under development. A reactive system is expected to continuously interact with its environment. Usually, the interaction of a reactive system with its environment is supported by a set of nonterminating processes that operate in parallel. Durin
APA, Harvard, Vancouver, ISO, and other styles
29

Sá, Jorge Vaz de Oliveira e. "Metodologia de sistemas de data warehouse." Doctoral thesis, 2010. http://hdl.handle.net/1822/10663.

Full text
Abstract:
Tese de doutoramento em Tecnologias e Sistemas de Informação (área de conhecimento em Engenharia e Gestão de Sistemas de Informação)<br>Os sistemas de Data Warehouse possibilitam que as organizações tenham acesso a informação de gestão que é essencial para a vida da organização. No entanto a implementação destes sistemas nas organizações sofre de uma elevada taxa de insucesso. Várias iniciativas de implementação de Sistemas de Data Warehouse arrancaram com grandes expectativas, mas rapidamente se verificou que não era garantido satisfazê-las. Actualmente, investigadores, profissionais, con
APA, Harvard, Vancouver, ISO, and other styles
30

Carvalho, Tiago João do Vale. "Framework para integração de sistemas com ERP microsoft dynamics." Master's thesis, 2009. http://hdl.handle.net/1822/26472.

Full text
Abstract:
Dissertação de mestrado em Engenharia e Gestão de Sistemas de Informação<br>As organizações dependem cada vez mais dos sistemas e tecnologias de informação para suportar os seus processos de negócio. As aplicações informáticas são o mais diversificadas tentando disponibilizar o maior número de funcionalidades. Contudo, por mais completas que tentem ser as aplicações, existem processos que não estando cobertos por uma única aplicação requerem comunicação entre elas. Esta comunicação pode ser efectuada por Frameworks , que disponibilizam modelos e regras claras, para de forma facilitada as
APA, Harvard, Vancouver, ISO, and other styles
31

Romano, Ricardo Jorge Cantador. "Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK." Master's thesis, 2011. http://hdl.handle.net/1822/27826.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Os métodos formais agregam todo um conjunto de linguagens, tecnologias e ferramentas baseadas em matemática (lógica, teoria de conjuntos) para a especificação, desenvolvimento e validação de sistemas de software. A sua utilização é, em certos domínios, inclusivamente obrigatória para a certificação de componentes de software crítico segundo os níveis mais elevados de segurança. Neste contexto, pretende-se com este trabalho avaliar em termos práticos e com o uso do SPARK, a utilização dos métodos formais, nomeadamente o paradigma "Corre
APA, Harvard, Vancouver, ISO, and other styles
32

Cunha, João Mário Quintas. "Fault injection for the evaluation of critical systems." Master's thesis, 2013. http://hdl.handle.net/1822/27841.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>Atualmente, os sistemas críticos estão cada vez mais presentes no nosso dia-a-dia, fazendo aumentar a necessidade de os assegurar cada vez mais e reduzindo o risco de acidente ou falha. A industria espacial e automóvel são exemplos de indústrias que usam esses sistemas e que necessitam de os ver assegurados. Consequentemente, têm de ser tomadas medidas para garantir a segurança de um sistema ao nível de software e hardware. A injeção de falhas é uma das respostas a esse problema, fazendo uso das suas diferentes técnicas para poder aval
APA, Harvard, Vancouver, ISO, and other styles
33

Veloso, Tiago Alves. "Invariant detection meets Random test case generation." Master's thesis, 2011. http://hdl.handle.net/1822/27931.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Full fledged verification of software ensures correction to a level that no other technique can reach. However it requires precise and unambiguous specifications of requirements, functionality and technical aspects of the software to be verified. Furthermore, it requires that these specifications together with the produced models and code be checked for conformity. This represents beyond doubt an investment that most developers and companies are neither able nor willing to make. Although testing can not reach the same level of assur
APA, Harvard, Vancouver, ISO, and other styles
34

Coelho, Márcio. "GamaBoogie : a contract-based slicer for Boogie programs." Master's thesis, 2011. http://hdl.handle.net/1822/28362.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>In the context of the Informatics Engineering MSc. degree (MEI), second year, this document describes and discusses a master thesis project in the area of source code analysis using slicing and program verification techniques. Design-by-Contract is an approach that allows a programmer to specify the expected behaviour of a component by the means of preconditions, postconditions and invariants. These annotations (or contracts) can be seen as a form of enriched software documentation and they are used to verify that the program is cor
APA, Harvard, Vancouver, ISO, and other styles
35

Couto, Luís Diogo Monteiro Duarte. "Analysing call graphs for software architecture quality profiling." Master's thesis, 2012. http://hdl.handle.net/1822/27897.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Risk assessment is an important topic for financial institution nowadays, especially in the context of loan applications or loan requests and credit scoring. Some of these institutions have already implemented their own custom credit scoring systems to evaluate their clients’ risk supporting the loan application decision with this indicator. In fact, the information gathered by financial institutions constitutes a valuable source of data for the creation of information assets from which credit scoring mechanisms may be developed. Histori
APA, Harvard, Vancouver, ISO, and other styles
36

Simão, Elísio Maciel. "Comparison of software development methodologies based on the SWEBOK." Master's thesis, 2011. http://hdl.handle.net/1822/28562.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>We are facing a period where software projects have a huge dimension involving small resources, high risk and a wide range of available approaches. In this scenario the Software Development Methodologies (SDMs) can prove to be a useful ally, but very dangerous and even fatal if misused. The big issue around this matter is how to choose the appropriated SDM that ts a speci c project. In the given scope, this dissertation describes a framework for comparing SDMs delivering a set of procedures that should be followed when the choice o
APA, Harvard, Vancouver, ISO, and other styles
37

Ferreira, Luís Pedro Zamith de Passos Machado. "Bridging the gap between SQL and NoSQL." Master's thesis, 2012. http://hdl.handle.net/1822/27854.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>There has been a enormous growth in the very large scale distributed databases (VLSD) area in the last few years, especially with the NoSQL movement. These databases intend to be almost schema-less and not as strict as their relational counterparts on what concerns the data model, in order to achieve higher scalability. Their query API tends to be very reduced and simple (mainly a put, a get and a delete) and has very fast writes and reads, with the downside of not having a standard querying language as is SQL. Therefore, this propertie
APA, Harvard, Vancouver, ISO, and other styles
38

Ribeiro, Roberto. "Portability and performance in heterogeneous many core Systems." Master's thesis, 2011. http://hdl.handle.net/1822/28170.

Full text
Abstract:
Dissertação de mestrado em Informática<br>Current computing systems have a multiplicity of computational resources with different architectures, such as multi-core CPUs and GPUs. These platforms are known as heterogeneous many-core systems (HMS) and as computational resources evolve they are o ering more parallelism, as well as becoming more heterogeneous. Exploring these devices requires the programmer to be aware of the multiplicity of associated architectures, computing models and development framework. Portability issues, disjoint memory address spaces, work distribution and irregula
APA, Harvard, Vancouver, ISO, and other styles
39

Torre, Carlos Miguel Janeiro Regedor Dias da. "The role of best practices in assessing software quality." Master's thesis, 2013. http://hdl.handle.net/1822/27822.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>This document presents a master thesis in Computer Science, in the area of Program Comprehension and Static Code Analysis. This work (thesis preparation and writing) is a component of the second year of the Masters degree, that will be achieved in University of Minho at Braga, Portugal. Thousands of open source software (OSS) projects are available for collaboration in platforms like Github or Sourceforge. However, like traditional software, OSS projects have different quality levels. The developer, or the end-user, needs to know the qual
APA, Harvard, Vancouver, ISO, and other styles
40

Gonçalves, Maria Madalena Pacheco. "Guidelines for analysis and modelling of reactive software systems." Master's thesis, 2013. http://hdl.handle.net/1822/27968.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>Reactive software systems are distinguished by their ability to interact with the environment in which they operate. Their behaviour is affected by a finite set of events that change the system global state. Such systems can be divided into three components: Controller, Users and Physical Entities; this division allows to model the particular behaviour of each component separately. Coloured Petri Nets (CPNs) are a modeling language suitable for behavioural modelling, thus it can be used in the context of these systems. Among several advanta
APA, Harvard, Vancouver, ISO, and other styles
41

Barbosa, André Lopes. "Pattern based user interface generation." Master's thesis, 2012. http://hdl.handle.net/1822/27884.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>Human Computer Interaction (HCI) is one of the most important aspects in software development. In order to produce valuable products, software companies are focusing more on the users and less on the technology behind their products. This calls for new prospects for development cycles. Traditional methodologies are focused on the internals and there is little support to build a User Interface (UI) in a more iterative manner [12]. Model Driven Development (MDD) [21] is a technique that has been used to increase software quality and boost d
APA, Harvard, Vancouver, ISO, and other styles
42

Cunha, Jácome Miguel Costa. "Model-based spreadsheet engineering." Doctoral thesis, 2011. http://hdl.handle.net/1822/12387.

Full text
Abstract:
Tese de doutoramento em Informática (área Fundamentos da Computação)<br>Spreadsheets can be viewed as programming languages for non-professional programmers. These so-called “end-user” programmers vastly outnumber professional programmers creating millions of new spreadsheets every year. As a programming language, spreadsheets lack support for abstraction, testing, encapsulation, or structured programming. As a result, and as numerous studies have shown, the high rate of production is accompanied by an alarming high rate of errors. Some studies report that up to 90% of real-world spreads
APA, Harvard, Vancouver, ISO, and other styles
43

Alves, Tiago Miguel Laureano. "VooDooM : support for understanding and re-engineering of VDM-SL specifications." Master's thesis, 2006. http://hdl.handle.net/1822/6261.

Full text
Abstract:
Tese mestrado informática<br>The main purpose of this work is to define steady ground for supporting the understanding and re-engineering of VDM-SL specifications. Understanding and re-engineering are justified by Lehman’s laws of software evolution which state, for instance, that systems must be continually adapted and as a program evolves its complexity increases unless specific work is done to reduce it. This thesis reports the implementation of understanding and re-enginering techniques in a tool called VooDooM, which was built in three well defined steps. First, development of the la
APA, Harvard, Vancouver, ISO, and other styles
44

Pereira, Rui Alexandre Afonso. "Querying for model-driven spreadsheetsd." Master's thesis, 2013. http://hdl.handle.net/1822/28609.

Full text
Abstract:
Dissertação de mestrado em Engenharia Informática<br>Spreadsheets are used for a diverse number of objectives, that range from simple applications to complete information systems. In all of these cases, they are frequently used as data repositories that can grow tremendously in size, and as the amount of the data grows, the frustration and challenge to withdraw information out of them also grows. This Thesis project focuses on the problem of spreadsheet querying. Speci cally, the objective is to meticulously and carefully study competing query languages, and proposing our very own expres
APA, Harvard, Vancouver, ISO, and other styles
45

Oliveira, Sérgio António Real de. "Colored petri nets in the animation of UML models for requirements validation." Master's thesis, 2006. http://hdl.handle.net/1822/6669.

Full text
Abstract:
Dissertação Mestrado em Sistemas de Informação.<br>Functional requirements must be validated by the client of the software project (managers, users and stakeholders in general). However, requirements validation is a critical task in any engineering project. Presenting static requirements models to the stakeholders is not sufficient, since it does not allow stakeholders, who do not have computer science background, to discover all the interdependencies between the elicited requirements. With the mere presentation and explanation of UML (Unified Modelling Language) requirements models, even
APA, Harvard, Vancouver, ISO, and other styles
46

Barbosa, Alexandre Manuel Loureiro. "Requisitos não-funcionais em aplicações orientadas a serviços : análise da tecnologia fuse ESB." Master's thesis, 2012. http://hdl.handle.net/1822/25833.

Full text
Abstract:
Dissertação de mestrado em Engenharia e Gestão de Sistemas de Informação<br>No âmbito de suporte e integração de aplicações empresariais um dos modelos arquitecturais emergentes é o Enterprise Service Bus (ESB), que desde o seu aparecimento tem ganho uma maior importância no suporte a Sistemas de Informação de elevada complexidade. As aplicações ligadas a este usam-no como um middleware (um intermediário) na troca de mensagens criando assim um ambiente loose coupled. Tal importância sobre a arquitectura ESB no suporte aplicacional aumenta se considerar-mos por exemplo a necessidade de um
APA, Harvard, Vancouver, ISO, and other styles
47

Azevedo, Sofia Manuela Fevereiro. "UML metamodelling and ERP software solutions: experiments with Microsoft DSL tools." Master's thesis, 2008. http://hdl.handle.net/1822/9097.

Full text
Abstract:
Dissertação de mestrado em Sistemas de Informação<br>Microsoft DSL (Domain-Specific Language) Tools allow the definition at the metamodelling level of graphical languages suited to a particular domain. The DSL Tools also allow the conception of models with those graphical languages. The proof of concept reported in this dissertation focuses on the domain of a part of the Primavera ERP (Enterprise Resource Planning) software solution. It exposes a metamodelling approach which can be followed when using the tool to model visual domain-specific languages. It includes a stereotyping approach
APA, Harvard, Vancouver, ISO, and other styles
48

Ribeiro, Hugo. "Spreadsheet smells." Master's thesis, 2011. http://hdl.handle.net/1822/28116.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Viewing spreadsheets as a programing language makes it the most used programming language worldwide. In fact some studies performed show that the so called "end-user" programmers surpass the professional programmers by far. Because of this and the lack of support for abstraction, testing, encapsulation or structured programming, 90% of the spreadsheets in the real world have errors. This dissertation presents an effort to help with this problem. The main goal of this dissertation is to create a tool that allows us to detect probable pr
APA, Harvard, Vancouver, ISO, and other styles
49

Quinta, Daniel Ribeiro. "Application of Formal Methods in the ITASAT Project." Master's thesis, 2013. http://hdl.handle.net/1822/27877.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>Critical software can be potentially dangerous if not well verified, leading to serious failures. Accordingly, there is a need for improved validation and verification methods in order to have guarantees about the software final product. The aim of this project is to define a more linear and organized verification and validation plan to, formally, verify the most critical parts of the OBDH (On-Board Data Handling) subsystem of ITASAT, supported by the Alloy formal language. Alloy supports the description of systems whose state involves
APA, Harvard, Vancouver, ISO, and other styles
50

Novais, Cláudio Campinho. "Uma abordagem alternativa para a formalização de espaços multidimensionais em sistemas OLAP." Master's thesis, 2013. http://hdl.handle.net/1822/28278.

Full text
Abstract:
Dissertação de mestrado em Engenharia de Informática<br>A evolução dos sistemas OLAP tem sido extraordinária ao longo dos últimos anos. Desde os servidores de dados multidimensionais até às plataformas cliente para a exploração de dados é admirável o leque de soluções que emergiram, contribuindo para um grande aumento da sofisticação das plataformas de tomada de decisão. Porém, em contraste, não encontramos muitas propostas para a especificação e formalização dessas soluções, em particular no que diz respeito à forma como representamos e manipulamos dados multidimensionais. Como sabemos, uma
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography