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.

Portal do software p??blico brasileiro

O Portal do Software P??blico Brasileiro consolida-se como uma iniciativa que conseguiu criar um ambiente comum para compartilhar solu????es de software no setor p??blico, racionalizar a gest??o dos recursos de inform??tica, reaproveitar as solu????es de software existentes para diminuir custos e atividades redundantes, estabelecer parcerias e a????es cooperadas, refor??ar a pol??tica p??blica de estimular o uso de software livre e definir uma forma de licenciamento de software que sustente o compartilhamento de solu????es entre os ??rg??os do setor p??blico de acordo com as prerrogativas legais brasileiras e a Constitui????o Federal. Esta iniciativa trouxe como inova????o o compartilhamento de ???software p??blico???, que oficializou um novo modelo de licenciamento e de gest??o das solu????es desenvolvidas na administra????o p??blica, estabelecendo parceria entre diversos ??rg??os, institui????es, empresas e cidad??os, e hoje conta com mais de 100 mil participantes

Portal de peri??dicos da Capes

O Portal de Peri??dicos da Capes disponibiliza ??s institui????es de ensino superior e de pesquisa, conte??do atualizado e de alta qualidade permitindo consultas e acesso aos textos completos de artigos publicados em 23.925 revistas internacionais, nacionais e estrangeiras e mais de 124 bases de dados com resumos de documentos em todas as ??reas do conhecimento. Tem como finalidade oferecer ??s universidades, institutos de pesquisa e organiza????es governamentais, n??o governamentais e particulares, onde se desenvolve a p??sgradua????o e a pesquisa do pa??s, informa????o cient??fica necess??ria ?? forma????o de recursos humanos de alto n??vel e desenvolvimento do conhecimento, tecnologia e inova????o. O acesso ?? biblioteca eletr??nica se d?? via internet, por meio do site www.periodicos.capes.gov.br, de forma gratuita ??s organiza????es autorizadas. Em 2009, foram baixados mais de 65 milh??es de documentos, entre textos completos e abstracts

Portal corporativo da Escola Nacional de Sa??de P??blica Sergio Arouca, da Funda????o Oswaldo Cruz (Fiocruz)

O portal da ENSP foi criado como ferramenta de apoio ?? gest??o do conhecimento e para garantir a qualidade da informa????o gerada e organizada pela institui????o. Oferece um conjunto de aplicativos que consolida, gerencia, analisa e distribui informa????es, n??o s?? internamente, mas tamb??m para o p??blico externo. A integra????o desses aplicativos permite que os usu??rios possam ter um ??nico ponto de acesso ??s informa????es, permitindo ler, gravar e atualizar dados pessoais e institucionais. Nessa vers??o do portal da ENSP, os usu??rios devem-se cadastrar para ter acesso a alguns servi??os, como postagem de documentos na Biblioteca Multim??dia, coment??rios no Informe ENSP e participa????o em redes sociais, documentos internos e informa????es departamentais

Portal da transpar??ncia

O Portal da Transpar??ncia, criado em novembro de 2004, tem por objetivo promover a transpar??ncia da gest??o p??blica e estimular a participa????o e o controle social. O Portal viabiliza o acompanhamento efetivo da execu????o financeira de todos os programas e a????es do Governo Federal, em linguagem simples, navega????o amig??vel e sem necessidade de senhas, de modo que qualquer pessoa possa ter ampla no????o sobre como ?? aplicado o dinheiro p??blico. Est??o dispon??veis informa????es exatas, tempestivas e completas sobre recursos transferidos pelo Governo Federal aos outros entes p??blicos e diretamente ao cidad??o; gastos diretos realizados pelo Governo Federal em compras ou contrata????o de obras e servi??os; bem como gastos realizados por meio de cart??es de pagamentos do Governo Federal. O Portal da Transpar??ncia ?? hoje o mais abrangente banco de dados sobre os gastos do Governo Federal aberto a toda sociedade, representando, assim, iniciativa in??dita de transpar??ncia p??blica no Brasil e no mundo

Rede Governo: o portal de servi??os e informa????es para o cidad??o

Este relat??rio descreve a experi??ncia Rede Governo: o Portal de Servi??os e Informa????es para o Cidad??o (http://www.redegoverno.gov.br/ e http://www.redegoverno.gov.br/quiosque/), iniciada em novembro de 1996 e cujo novo modelo foi adotado a partir de abril de 2000. Vem sendo desenvolvida pela Secretaria de Log??stica e Tecnologia da Informa????o ??? SLTI

Usabilidade e qualidade da informação : avaliação do Portal do aluno da Universidade Federal do Espírito Santo

O presente trabalho tem por objetivo avaliar o Portal do Aluno da Universidade Federal do Espírito Santo, identificando fatores associados à usabilidade que afetam a percepção de qualidade da informação e diferenciando grupos de usuários em função da usabilidade do Portal. Para tanto, foi realizado um levantamento por meio de um questionário aplicado aos usuários, com abordagem predominantemente quantitativa. Foi descrito o perfil dos alunos, o contexto em que utilizam o Portal e qual avaliação fazem dos relatórios e atividades. A partir do modelo elaborado no estudo, no qual a usabilidade contou com seis dimensões (facilidade de aprendizado, facilidade de memorização, eficiência, satisfação, suporte a erros e utilidade), constatou-se que, com exceção da facilidade de aprendizado, as demais dimensões possuem significância estatística na percepção da qualidade da informação, sendo a mais influente a dimensão satisfação. Por meio da análise de conglomerados, foram identificados três grupos, com base nas avaliações dos fatores associados ao atendimento de suas expectativas e aos resultados do uso do portal (satisfação, eficiência e utilidade): o primeiro grupo composto por alunos que avaliaram melhor estes fatores bem como as atividades, os relatórios e a qualidade da informação do Portal; o segundo que avaliaram medianamente; e o terceiro que avaliaram pior. Através da regressão simples utilizando a média das dimensões de usabilidade, verificou-se também que a qualidade da informação está fortemente correlacionada (r=0,7) com a usabilidade do Portal, tendo um poder de predição de 49%. Também foram obtidas respostas acerca do que era mais confuso e sugestões de melhorias que ajudaram a formular, conjuntamente com as demais análises, as propostas do Plano de Intervenção. Embora ainda apresente deficiências, em uma escala de 0 a 5, o Portal foi avaliado acima da média na dimensão satisfação (3,42), bem como obteve média geral de qualidade da informação de 3,31 e de usabilidade de 3,69 . Desta forma, pode-se dizer que ele tem cumprido sua função.

ISELnet: um portal internet para o ISEL

O contínuo desenvolvimento na área da Web 2.0 potencia a implementação de portais Web de carácter multi-funcional com uma elevada versatilidade e uma grande riqueza interactiva. Este projecto pretende tirar partido do desenvolvimento ocorrido nas tecnologias desta área de forma a apresentar uma proposta de portal institucional para o Instituto Superior de Engenharia de Lisboa (ISEL) que espelhe a Instituição como inovadora e actual. Para a implementação desta proposta foi desenvolvida uma plataforma de integração ao nível da camada de apresentação, seguindo os conceitos Web 2.0 aplicáveis, assente em tecnologias cliente suportadas em browser. Com esta plataforma pretende-se disponibilizar os alicerces para a integração das várias aplicações de front-office da Instituição numa camada homogénea, reduzindo a curva de aprendizagem das várias aplicações e contribuindo para uma integração destas que diminua a complexidade de utilização e facilite a manutenção e evolução. Sendo uma plataforma de integração, foi disponibilizada a possibilidade de efectuar as comunicações com base em JSON, XML, cabeçalhos dos pedidos http e Web services SOAP, sendo utilizadas mensagens ACL a nível aplicacional. O que permite um maior desacoplamento tecnológico entre a plataforma e os serviços utilizados. O desenvolvimento do projecto foi assente nos conceitos de desenvolvimento ágil, baseado na prototipagem. A gestão do projecto foi feita com recurso a uma aplicação de gestão de projecto colaborativa, o Redmine, que permitiu a adequação do projecto às necessidades ao longo do desenvolvimento e uma partilha mais fácil do estado do mesmo e de informações críticas do seu desenvolvimento aos vários intervenientes.

PEAPE - Portal de Ensino e Aprendizagem do Projecto Electrotécnico

As Tecnologias da Informação e Comunicação (TIC) permitem novas estratégias de difusão da informação e novos modelos de comunicação, com a proposta de modificar as atitudes e o comportamento humano em relação à Educação. Actualmente a WEB é fundamental como meio de comunicação e partilha de informação. Ao ensino será exigido a utilização de TIC, suportadas na Web, para estabelecer a comunicação professor-aluno e aluno-aluno, para divulgação de conteúdos das unidades curriculares, e mesmo como meio de ensino/aprendizagem. O Portal de Ensino e Aprendizagem do Projecto Electrotécnico (PEAPE) pretende ser uma ferramenta de apoio ao ensino/aprendizagem, de unidades curriculares no Âmbito do projecto electrotécnico.

Uso das tecnologias de informação e comunicação no ensino – portal de ensino aprendizagem do projecto electrotécnico

As Tecnologias da Informação e Comunicação (TIC) permitem novas estratégias de difusão da informação e novos modelos de comunicação, com a proposta de modificar as atitudes e o comportamento humano em relação à Educação. Actualmente a internet é fundamental como meio de comunicação e partilha de informação. Ao ensino será exigido a utilização de TIC, suportadas na internet, para estabelecer a comunicação professor-aluno e aluno-aluno, para divulgação de conteúdos das unidades curriculares, e mesmo como meio de ensino/aprendizagem. O Portal de Ensino e Aprendizagem do Projecto Electrotécnico (PEAPE) pretende ser uma ferramenta de apoio ao ensino/aprendizagem, de unidades curriculares no Âmbito do projecto electrotécnico.

Development and biological evaluation of API-ILs based on anti-bacterial and anti-fungal drugs

In recent years Ionic Liquids (ILs) are being applied in life sciences. ILs are being produce with active pharmaceutical drugs (API) as they can reduce polymorphism and drug solubility problems [1] Also ILs are being applied as a drug delivery device in innovative therapies What is appealing in ILs is the ILs building up platform, the counter-ion can be carefully chosen in order to avoid undesirable side effects or to give innovative therapies in which two active ions are paired. This work shows ILs based on ampicillin (an anti-bacterial agent) and ILs based on Amphotericin B. Also we show studies that indicate that ILs based on Ampicillin could reverse resistance in some bacteria. The ILs produced in this work were synthetized by the neutralization method described in Ferraz et. al. [2] Ampicillin anion was combined with the following organic cations 1-ethyl-3-methylimidazolium, [EMIM]; 1-hydroxy-ethyl-3-methylimidazolium, [C2OHMIM]; choline, [cholin]; tetraethylammonium, [TEA]; cetylpyridinium, [C16pyr] and trihexyltetradecylphosphonium, [P6,6,6,14]. Amphotericin B was combined with [C16pyr], [cholin] and 1-metohyethyl-3-methylimidazolium, [C3OMIM]. The ILs-APIs based on ampicillin[2] were tested against sensitive Gram-negative bacteria Escherichia coli ATCC 25922 and Klebsiella pneumonia (clinical isolated), as well as on Gram positive Staphylococcus Aureus ATCC 25923, Staphylococcus epidermidis and Enterococcus faecalis. The arising resistance developed by bacteria to antibiotics is a serious public health threat and needs new and urgent measures. We study the bacterial activity of these compounds against a panel of resistant bacteria (clinical isolated strains): E. coli CTX M9, E. coli TEM CTX M9, E. coli TEM1, E. coli CTX M2, E. coli AmpC Mox2. In this work we demonstrate that is possible to produce ILs from anti-bacterial and anti-fungal compounds. We show here that the new ILs can reverse the bacteria resistance. With the careful choice of the organic cation, it is possible to create important biological and physic-chemical properties. This work also shows that the ion-pair is fundamental in ampicillin mechanism of action.

Análise da resistência à fadiga de tubos de aço API 5CT N80 Tipo Q soldados via processo de indução magnética de alta frequência (HFIW)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Framework de controlo de acessos para Triple-stores com interface Sail API

Grande parte dos triples-stores são open source e desenvolvidos em Java, disponibilizando interfaces standards e privadas de acesso. A grande maioria destes sistemas não dispõe de mecanismos de controlo de acessos nativos, o que dificulta ou impossibilita a sua adopção em ambientes em que a segurança dos factos é importante (e.g. ambiente empresarial). Complementarmente observa-se que o modelo de controlo de acesso a triplos e em particular a triplos descritos por ontologias não está standardizado nem sequer estabilizado, havendo diversos modelos de descrição e algoritmos de avaliação de permissões de acesso. O trabalho desenvolvido nesta tese/dissertação propõe um modelo e interface de controlo de acesso que permite e facilite a sua adopção por diferentes triple-stores já existentes e a integração dos triples-stores com outros sistemas já existentes na organização. Complementarmente, a plataforma de controlo de acesso não impõe qualquer modelo ou algoritmo de avaliação de permissões, mas pelo contrário permite a adopção de modelos e algoritmos distintos em função das necessidades ou desejos. Finalmente demonstra-se a aplicabilidade e validade do modelo e interface propostos, através da sua implementação e adopção ao triple-store SwiftOWLIM já existente, que não dispõe de mecanismo de controlo de acessos nativo.

Suporte à computação paralela e distribuída em Java: API e comunicação entre nós cooperantes

Este trabalho é uma parte do tema global “Suporte à Computação Paralela e Distribuída em Java”, também tema da tese de Daniel Barciela no mestrado de Engenharia Informática do Instituto Superior de Engenharia do Porto. O seu objetivo principal consiste na definição/criação da interface com o programador, assim como também abrange a forma como os nós comunicam e cooperam entre si para a execução de determinadas tarefas, de modo a atingirem um único objetivo global. No âmbito desta dissertação foi realizado um estudo prévio relativamente aos modelos teóricos referentes à computação paralela, assim como também foram analisadas linguagens e frameworks que fornecem suporte a este mesmo tipo de computação. Este estudo teve como principal objetivo a análise da forma como estes modelos e linguagens permitem ao programador expressar o processamento paralelo no desenvolvimento das aplicações. Como resultado desta dissertação surgiu a framework denominada Distributed Parallel Framework for Java (DPF4j), cujo objetivo principal é fornecer aos programadores o suporte para o desenvolvimento de aplicações paralelas e distribuídas. Esta framework foi desenvolvida na linguagem Java. Esta dissertação contempla a parte referente à interface de programação e a toda a comunicação entre nós cooperantes da framework DPF4j. Por fim, foi demonstrado através dos testes realizados que a DPF4j, apesar de ser ainda um protótipo, já demonstra ter uma performance superior a outras frameworks e linguagens que possuem os mesmos objetivos.