API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

As políticas públicas de cultura no Espírito Santo entre 2007 e 2014

Nesta Dissertação os capítulos foram elaborados de maneira a estabelecer inicialmente um panorama da história da política pública ao longo do tempo e sua relação com a cultura, passando pelos conceitos da política pública de cultura, analisando os modelos de políticas culturais e a gestão cultural na democracia. Em seguida foi feito um estudo sobre a política cultural a partir da década de 80, para então analisar a participação das instituições públicas no processo de desenvolvimento após 1988. Diante da nova constituição foi lançado um olhar analítico sobre seus reflexos no campo da cultura desde o neoliberalismo até a segunda década do século XXI, além de uma visão do MinC sobre a arte contemporânea. Só então foram pesquisadas com mais profundidade as políticas públicas de cultura no estado do Espírito Santo, considerando as atuações das instituições públicas no processo de desenvolvimento, proporcionadas pelas aplicações dos Editais e seus desdobramentos, ligados a cada área de atuação dos segmentos culturais que são beneficiários, enfocando ainda as dimensões da cultura e os dilemas e alternativas das políticas públicas culturais com relação aos excluídos. A partir daí foi feita uma abordagem dos diversos segmentos artísticos do estado, suas atuações e suas carências, tendo como ponto de apoio os Editais. Foi analisado o Plano estadual de Cultura no contexto de sua relação com os segmentos culturais, considerando sua concepção original e o estado atual. Foram ainda analisadas as implicações das ações transversais entre os diversos órgãos governamentais e a cultura tendo em vista a equalização de Políticas Públicas de Cultura para o estado.

O olhar sobre a capoeira : um estudo dos filmes nacionais e internacionais

Este estudo busca compreender as representações da capoeira, feitas circularem pelas produções cinematográficas brasileiras e estrangeiras, e seu processo de desenvolvimento relacionado com a ideia de cultura brasileira. Tendo como fonte de análise 50 filmes de ficção, 20 produzidos no Brasil e 30 no exterior, onde a capoeira aparece de forma direta ou indiretamente, procuramos identificar nas imagens os elementos e mecanismos utilizados para apresentar a capoeira e a relação das apropriações destes elementos entre as produções nacionais e internacionais. Entendendo as características que compõem os elementos visuais, sonoros e textuais, como indícios que se apresentam de forma visível ou não visível nas películas, e que podem ser reveladores dos processos de apropriações e das lutas de representações sobre o entendimento da capoeira a serem projetadas para os espectadores, realizamos dentro deste processo metodológico, uma leitura minuciosa, detetivesca, ligando pontos e interrogando-os para a construção da narrativa por meio das evidências. A pesquisa aponta, até o momento, que da década de 1950 a 2012 a capoeira passa por transformações e ressignificações no cinema, onde é usada no processo de afirmação da cultura e identidade do povo brasileiro, seja pela ideia de esportivização ou pela busca das manifestações na história do Brasil. Desse modo, a capoeira é marcada por descontinuidades no seu processo de desenvolvimento como prática cultural, assumindo várias formas e se afastando do discurso tradicional, no qual há uma continuidade pautada em moldes de uma originalidade, expressadas no momento de captura das imagens em movimento e feitas circular no imaginário brasileiro e estrangeiro.

A mobile systems interface protocol

Recent progresses in the software development world has assisted a change in hardware from heavy mainframes and desktop machines to unimaginable small devices leading to the prophetic "third computing paradigm", Ubiquitous Computing. Still, this novel unnoticeable devices lack in various capabilities, like computing power, storage capacity and human interface. Connectivity associated to this devices is also considered an handicap which comes generally associated expensive and limited protocols like GSM and UMTS. Considering this scenario as background, this paper presents a minimal communication protocol introducing better interfaces for limited devices. Special attention has been paid to the limitations of connectivity, storage capacity and scalability of the developed software applications. Illustrating this new protocol, a case-study is presented addressing car sensors communicating with a central

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

Agressividade e índice de Apgar

A agressividade é o comportamento que surge transversalmente como queixa isolada ou a par de outras queixas na maioria das crianças com e sem doença, que procuram apoio em saúde mental infantil. Nessas crianças, e a partir da recolha dos dados anamnesicos, tem-se verificado a constância de registo, no Livro do Bebé, de Índice de Apgar ≤ 9 ao primeiro minuto. Este estudo exploratório pretendeu analisar a hipótese teórica de que o Índice de Apgar abaixo de 10 ao primeiro minuto pode ser representativo de sofrimento fetal intraparto ou perinatal e assim fragilizar os circuitos neuronais das emoções tendo como consequência o surgimento, ao longo do desenvolvimento infantil e juvenil, de dificuldades na capacidade de gestão ou controlo das emoções, com comportamentos opositivos e/ou agressivos, como resposta defensiva de luta e fuga. Utilizou-se uma amostra de crianças inscritas no serviço de consulta externa de saúde mental infantil e juvenil, e verificou-se se as queixas de perturbação do comportamento com agressividade, formuladas no momento do acolhimento ao serviço, estão relacionadas com o Índice de Apgar ≤ 9 ao primeiro minuto e/ou com os registos de sofrimento fetal. Procurou-se, numa amostra aleatória de crianças sem queixa formulada no serviço de consulta externa de saúde mental infantil e juvenil, perceber as diferenças ou semelhanças dos registos de nascimento relativamente à amostra de crianças inscritas. Foi ainda auscultada a opinião dos profissionais dos serviços de obstetrícia e neonatologia – pediatria, mediante a aplicação de um questionário, no sentido de recolher as opiniões dos profissionais de saúde que lidam com o parto, que avaliam o Índice de Apgar dos recém – nascidos e que os seguem durante as primeiras horas ou dias de vida. Das conclusões a que chegamos, salienta-se que o sofrimento fetal intraparto pode ser predictor de dificuldades de controlo emocional traduzidas em alterações do comportamento com agressividade em situações de stress. Não se conclui que o Índice de Apgar ≤ 9 pode ser predictor de alterações do comportamento com agressividade em situações de stress, uma vez que os registos de ocorrências de sofrimento fetal intraparto e os registos do Índice de Apgar ao primeiro minuto são, na amostra de crianças com queixa, díspares, relacionando-se no entanto de modo estatisticamente significativo na amostra de crianças sem queixa. III No entanto, e apesar das dificuldades metodológicas, fica a certeza de haver mais percursos a percorrer nesta direcção para a compreensão dos distúrbios emocionais e a agressividade.

Ensino de léxico e texto descritivo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Didáctica da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Plataforma de gestão de incidentes

Mestrado em Engenharia Electrotécnica e de Computadores. Área de Especialização de Telecomunicações.

Benchmarking de uma aproximação de ticketing as a service (Taas)

Dissertação de natureza científica realizada para obtenção do grau de Mestre em Engenharia de Redes de Computadores e Multimédia

Modelo de data mining para deteção de embolias pulmonares

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Controlador dedicado de Ecrãs LCD/TFT

Para dar resposta aos grandes avanços tecnológicos e, consequentemente, à postura mais exigente dos clientes, a empresa Francisco Parracho – Electrónica Industrial, Lda., que tem actividade no ramo dos elevadores, decidiu introduzir no mercado um controlador dedicado de ecrãs Liquid Crystal Display / Thin Film Transistor (LCD / TFT). O objectivo é substituir um sistema suportado por um computador, caracterizado pelas suas elevadas dimensões e custos, mas incontornável até à data, nomeadamente para resoluções de ecrã elevadas. E assim nasceu este trabalho. Com uma selecção criteriosa de todos os componentes e, principalmente, sem funcionalidades inúteis, obteve-se um sistema embebido com dimensões e custos bem mais reduzidos face ao seu opositor. O ecrã apontado para este projecto é um Thin Film Transistor – Liquid Crystal Display (TFT-LCD) da Sharp de 10.4” de qualidade industrial, com uma resolução de 800 x 600 píxeis a 18 bits por píxel. Para tal, foi escolhido um micro-controlador da ATMEL, um AVR de 32 bits que, entre outras características, possui um controlador LCD que suporta resoluções até 2048 x 2048 píxeis, de 1 a 24 bits por píxel. Atendendo ao facto deste produto ser inserido na área dos elevadores, as funcionalidades, quer a nível do hardware quer a nível do software, foram projectadas para este âmbito. Contudo, o conceito aqui exposto é adjacente a quaisquer outras áreas onde este produto se possa aplicar, até porque o software está feito para se tornar bem flexível. Com a ajuda de um kit de desenvolvimento, foram validados os drivers dos controladores e periféricos base deste projecto. De seguida, aplicou-se esse software numa placa de circuito impresso, elaborada no âmbito deste trabalho, para que fossem cumpridos todos os requisitos requeridos pela empresa patrocinadora: - Apresentação de imagens no ecrã consoante o piso; - Possibilidade de ter um texto horizontalmente deslizante;Indicação animada do sentido do elevador; - Representação do piso com deslizamento vertical; - Descrição sumária do directório de pisos também com deslizamento vertical; - Relógio digital; - Leitura dos conteúdos pretendidos através de um cartão SD/MMC; - Possibilidade de actualização dos conteúdos via USB flash drive.

Melhoria do processo produtivo da Schmitt+Sohn Elevadores - Porto

Este projeto teve como objetivo a utilização de ferramentas e conceitos Lean, para análise e implementação da Melhoria de Processos em ambiente fabril, com o intuito de melhorar o sistema produtivo em algumas secções da empresa SCHMITT+SOHN Elevadores. Pretende-se nesta primeira fase uma melhoria na comunicação entre os vários setores fabris, assim como uma melhoria no fluxo dos materiais. Pretende-se igualmente uma simplificação das ações dos operadores nos seus locais de trabalho. Foi para isso necessário, numa fase inicial, a recolha e análise dos diversos dados necessários ao trabalho proposto. Foram feitos diversos VSM’s e análises de fluxo em duas secções da empresa, com o intuito de estudar a situação atual e posteriormente proceder à implementação de um sistema Kanban. Foram também analisados problemas a nível de stocks e armazenamento de matéria-prima e materiais diversos tendo sido concretizadas diversas soluções. O trabalho que apresentamos foi fortemente condicionado por imperativos ditados pela empresa, tendo o nosso estudo e aplicações praticas um suporte de apenas 3 meses. No restante período estivemos condicionados pela empresa a trabalhos de conhecimento do funcionamento da mesma, formação em Kaizen e preparação para as implementações de VSM e Kanban. Nesta fase é ainda prematura a validação dos resultados obtidos nas secções, visto que o processo para a implementação do sistema Kanban ainda se encontra em fase de desenvolvimento.