75 resultados para Linguagens informáticas
Resumo:
Este trabalho de Projecto consiste numa plataforma online que possibilita ao seu utilizador gerir simultaneamente a saúde, o exercício físico e o regime alimentar. A plataforma é uma ferramenta que ajuda a promover o bem-estar do indivíduo, porque auxilia a monitorizar a toma de medicação e a agendar consultas e/ou exames. Permite ainda identificar o exercício físico e a dieta adequada para o estado de saúde do utilizador, através do teste de aptidão física e das calculadoras de IMC, TMB e NCD. Para o desenvolvimento da plataforma foram considerados os princípios da usabilidade e acessibilidade heurística de Jacob Nielsen. O desenvolvimento do projecto assenta nas linguagens de Programação de HTML5, CSS3, PHP, MySQL, Javascript (JQuery) e na plataforma de RWD do Twitter-Bootstrap.
Resumo:
Hoje em dia, há um aumento evidente dos produtos ou soluções sob medida, com o objectivo de melhor se adaptarem às necessidades dos perfis de clientes. Num outro contexto, existe um largo crescimento da presença da computação informática nas salas de aulas, de maneira a auxiliar o professor a cativar e motivar os alunos, através de jogos educativos. Contudo, nem todos os docentes têm conhecimentos informáticos avançados, então não têm forma de perso-nalizar jogos, o que beneficiaria as crianças com soluções adaptadas às suas necessidades. Com isto, foi idealizado um sistema, que assenta sobre uma framework de criação de jogos, e que possibilite a um utilizador com menos habilidades informáticas a possibilidade de criar um jogo. Apesar de existirem diversos jogos desse tipo, seria vantajoso um professor poder criar um jogo, personalizando-o de acordo com as necessidades do aluno e com as competências que se desejam desenvolver. Este sistema consiste numa interface em que o utilizador segue uma série de passos definidos, do qual resulta um ficheiro com todas as características de jo-go, que será depois importado para uma framework, permitindo assim a criação de diferentes jogos, desde que se enquadrem na mesma mecânica.
Resumo:
Na identificação dos determinantes da satisfação dos alunos finalistas com a formação obtida no Instituto Superior Técnico (IST) avaliou-se o impacto que a preparação para o mercado de trabalho, e a aprendizagem de competências transversais como a gestão, administração, empreendedorismo e liderança, têm na satisfação dos finalistas. O modelo teórico privilegiou as adaptações ao ensino superior (ES) dos modelos de medida da satisfação ECSI e SERVQUAL e, dos determinantes empíricos do instrumento de medida. O Projeto centrou-se na análise dos resultados ao questionário aos Alunos Finalistas de Mestrado de 2012/13, da responsabilidade do Núcleo de Estudos e Projetos do IST. Os dados foram sujeitos a uma análise fatorial em fatores comuns e específicos, cujos fatores foram utilizados na realização de uma regressão em componentes principais. Os resultados demostraram que as competências de gestão e administração, as competências técnicas e informáticas e a preparação para o mercado de trabalho eram os principais determinantes da satisfação dos alunos finalistas do IST. As competências linguísticas e de consciência ambiental foram as que menor impacto tiveram na satisfação com a formação obtida. A aplicação do modelo de regressão aos alunos de mestrados integrados e aos dos cursos de engenharias tradicionais revelou existirem diferenças nos determinantes e seu impacto na satisfação. Foi no primeiro grupo que o modelo revelou o seu potencial máximo explicativo, confirmando a importância das competências técnicas e informáticas e das competências de gestão e administração como as mais impactantes na satisfação dos finalistas com a sua formação. Para os alunos das engenharias tradicionais, a ligação ao mercado de trabalho não se assumiu como um dos fatores explicativos da satisfação.
Resumo:
As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.
Resumo:
Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.
Resumo:
No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.
Resumo:
Os controladores lógicos programáveis (PLC) são muito ,e cada vez mais, utilizados na indústria. Este tipo de equipamento, além de ser inerentemente caro, pode causar situações perigosas e perda de produtividade caso sejam incorretamente programados. Existem programas de alguns fabricantes que permitem a simulação de linguagens utilizadas na programação de autómatos (segundo a norma internacional IEC 61131-3), mas uma simulação da linguagem em Texto Estruturado (ST) em particular, é complicada e de difícil acesso. O principal objetivo deste projeto é a realização de um simulador em tempo real, capaz de realizar testes e simulações prévias de código de Texto Estruturado, a testar posteriormente no autómato TSX Micro 3721 da Schneider. É necessário a construção de um compilador e interpretador de linguagens de programação, para realização do simulador e interface gráfica. Os dois sistemas utilizados para gerar as regras formais gramaticais e de produção em linguagens de programação são o Lex e o Yacc. O Lex gera um analisador léxico dividindo o ficheiro de linguagem em texto estruturado em tokens (símbolos significativos). O Yacc, através desses símbolos recebidos, forma as regras de produção e a respetiva estrutura hierárquica do programa. A partir da interpretação desta estrutura gerada é possível traduzir ou compilar qualquer linguagem de programação, neste caso o texto estruturado, e criar um simulador correspondente numa outra linguagem. O simulador recebe o código ST e através de funções definidas pelo sistema de compilação, interpretação e tradução, reconhece as instruções em linguagem de texto estruturado correspondente e realiza o conjunto de ações propostas. Analisando os testes no autómato e os resultados apresentados pela interface, podemos concluir que é possível realizar compiladores e respetivos simuladores, utilizando análises gramaticais das linguagens de programação, em particular, podemos concluir que o simulador para linguagem em Texto Estruturado foi realizado com sucesso.
Resumo:
O desenvolvimento da tecnologia informática e de melhor hardware, proporcionou ao mercado de aplicações informáticas, um grande crescimento nas últimas décadas. Paralelamente, o aprofundamento e investigação das disciplinas de engenharia industrial, de novas filosofias e tipologias de produção, proporcionam ao mercado de sistemas de informação, uma panóplia de soluções abrangentes a todos os sectores e departamentos das organizações. Apesar da grande oferta, nem sempre existe viabilidade financeira das organizações para adquirirem e/ ou implementarem uma solução eficaz que responda às suas necessidades específicas. A presente dissertação, incide na melhoria do sistema de orçamentação do produto numa indústria de produtos únicos, através de uma plataforma de informação que permita reduzir o tempo de elaboração, melhorando a estimação do tempo de produção. As exigências do mercado em causa, influenciadas pela concorrência de países com mão-de-obra mais barata, prazos de resposta a orçamentos muito curtos e pequenas margens de negociação e lucro, implicam a necessidade de que sejam minimizadas ao máximo as atividades sem valor acrescentado, como o caso da orçamentação. Foi elaborada uma análise à empresa, ao produto - cablagem, às operações e seus recursos em estudo de caso. Após o levantamento das operações de produção executadas na empresa, reuniram-se os tempos referentes aos tempos de elaboração de cada operação, tendo sido estes utilizados para melhorar a estimativa do tempo de produção. A plataforma de informação foi desenvolvida seguindo o processo produtivo de cablagens, princípios de orçamentação e algumas funcionalidades referentes a ferramentas de apoio à produção, tais como, Product Data Management, Computer Aided Design, Bill-of-Material e Visual Aid’s. Estruturada consoante as necessidades da empresa e respeitando a vasta gama de Matérias- Primas intervenientes na produção, a ferramenta desenvolvida proporcionou a redução do tempo de orçamentação e melhoria na estimativa dos tempos de produção. Esta ferramenta é no entanto transversal e com pequenas alterações, poderá ser implementada em qualquer outra indústria de produtos únicos.
Resumo:
A tradução para palco é uma tarefa particularmente complexa, dados os problemas que coloca ao tradutor não só a nível linguístico e cultural, mas também porque envolve linguagens não-verbais e ainda a noção de performability do texto a ser levado ao palco, o que implica um conhecimento profundo dos códigos teatrais implícitos no texto e na sua performance. O presente trabalho de projecto tem por objectivo uma análise do processo de criação e tradução do guião do espectáculo Dr. Jekyll & Mr. Hyde, realizado pela Companhia do Chapitô (Lisboa) entre 2013 e 2014. Através de um processo de adaptação peculiar, inspirado na commedia dell’arte, a Companhia do Chapitô criou a peça através de uma improvisação sobre o texto original em língua inglesa, o que conduziu à criação de um guião-base em inglês que foi posteriormente traduzido para a língua portuguesa pela mestranda. O trabalho que aqui se apresenta descreve tal processo, que se reveste de características especiais devido ao método de trabalho colaborativo seguido pela referida companhia de teatro que acolheu este projecto
Resumo:
À medida que o abastecimento alimentar da nação se torna global e mais complexo, decisões acerca de políticas, perspetivando a prevenção da contaminação e doenças, tornaram-se preponderantes na indústria alimentar. As empresas do sector constroem sistemas de rastreabilidade e monitorização não só para ir de encontro com normas ou requisitos legais, mas para aumentar a produtividade através da melhoria da gestão de dados. Se estes sistemas forem robustos o suficiente podem aumentar o controlo da segurança e qualidade alimentar, melhorar a gestão de fornecedores e a habilidade de comercializar produtos autenticados. As normas dos clientes são cada vez mais exigentes e requerem também uma avaliação de risco completa para todas as matérias-primas, incluindo embalagens. Considerando a norma BRC, nesta dissertação uma avaliação de risco foi executada para os grupos de matérias-primas e materiais de embalagem da empresa Europastry. Perigos biológicos, físicos e químicos, incluindo alergéneos, foram analisados para as matérias-primas. Materiais de embalagem foram avaliados principalmente pela sua frequência de compra e presença ou não de não-conformidades, certificados e outros requisitos legais. Na avaliação de fornecedores, a possibilidade de fraudes, rastreabilidade, certificação, frequência de compra e não conformidades foram também analisadas. Os resultados permitiram concluir que os grupos “Especiarias e Condimentos” e “Charcutaria” apresentam um risco médio para a segurança alimentar, enquanto o grupo “Carnes” apresenta um risco baixo. Os restantes grupos não apresentam qualquer risco. Procedimentos foram desenvolvidos para a aceitação dos materiais baseados na avaliação de risco. Aqui, características organoléticas, biológicas e químicas, origem, temperatura de armazenamento e validade foram avaliadas tendo sido estabelecido limites de aceitação para os diferentes critérios. Usando ferramentas informáticas, procedimentos de monitorização e de aprovação de fornecedores, capazes de assegurar um sistema de rastreabilidade eficaz e a gestão efetiva dos riscos para a qualidade e segurança dos materiais, foram desenvolvidos com sucesso.
Resumo:
Este estudo tem como objetivo a delineação dos pressupostos epistemológicos subjacentes ao tratamento da definição em terminologia, enquanto atividade e produto, considerando os seguintes aspetos: a entidade a definir, a definição de definição e suas tipologias, métodos e regras de formulação de boas definições, refletindo sobre os seus limites. Começando por nos situar no período clássico, em que surgiram os primeiros questionamentos sobre a definição, avança-se para a análise das teorias terministas integradas no contexto da linguagem da mente. Percorremos, em seguida, uma época em que se deu especial atenção às questões conceptuais e na qual surgiram propostas de linguagens formais que ambicionavam ultrapassar os constrangimentos da língua natural. Não poderíamos seguir este trajeto sem nos fixarmos sobre as teorias referenciais da filosofia e da linguagem, num momento em que as ciências afirmavam o seu estatuto e metodologias. Na contemporaneidade, é estabelecida uma ponte entre os estudos epistemológicos e a terminologia, detendo-nos sobre as problemáticas teóricas e metodológicas subjacentes à formulação de definições.
Resumo:
Disponível para consulta: índice e apresentação.
Resumo:
The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.
Resumo:
A metodologia TRIZ conhecida como Teoria de Resolução Inventiva de problemas é uma ferramenta de análise, previsão e resolução de problemas que como o seu nome indica, é orientada ao ser humano e é baseada no conhecimento. Uma das suas caraterísticas passa pela inovação, sendo uma boa forma de uma organização se diferenciar através de soluções inovadoras e criativas, que poderão causar grandes vantagens competitivas face à concorrência. Um projeto é uma atividade temporária, de curta ou longa duração, em que o seu objetivo passa pela criação ou alteração de um produto ou serviço já criado anteriormente, sendo para tal muito importante haver alguém responsável pela gestão desse mesmo projeto, onde será feita a aplicação de conhecimento, técnicas e ferramentas em todo o seu ciclo de vida até se chegar ao objetivo definido. A metodologia TRIZ é uma das ferramentas que pode ser aplicada por gestores de projeto, de modo a encontrar soluções inventivas na resolução de problemas que possam surgir. Na presente dissertação o estudo desenvolvido foi feito ao abrigo de uma empresa de consultoria (Winsig), que trabalha com o software PHC e Sage X3. Estas ferramentas informáticas disponibilizam às mais variadas empresas a possibilidade de executar vários serviços essenciais como contabilidade, gestão dos ativos, gestão de stocks, gestão de clientes, logística e distribuição, orçamentos entre outros, tudo informaticamente. Os seus consultores são especializados nestes dois softwares e as suas funções passam por encontrar soluções integradas de gestão, através da comercialização, implementação e prestação de apoio técnico deste tipo de software. Assim sendo este estudo concentrou-se em provar que é possível implementar a metodologia TRIZ em projetos de consultoria independentemente da área de negócio em que esses mesmos projetos se inserem.