Recommendations on quality control and quality assurance in cervical cytology

Objective: We aimed to critically evaluate the importance of quality control (QC) and quality assurance (QA) strategies in the routine work of uterine cervix cytology. Study Design: We revised all the main principles of QC and QA that are already being implemented worldwide and then discussed the positive aspects and limitations of these as well as proposing alternatives when pertinent. Results: A literature review was introduced after highlighting the main historical revisions, and then a critical evaluation of the principal innovations in screening programmes was conducted, with recommendations being postulated. Conclusions: Based on the analysed data, QC and QA are two essential arms that support the quality of a screening programme.

Experimental and numerical approaches for structural assessment in new footbridge designs (SFRSCC–GFPR hybrid structure)

Within the civil engineering field, the use of the Finite Element Method has acquired a significant importance, since numerical simulations have been employed in a broad field, which encloses the design, analysis and prediction of the structural behaviour of constructions and infrastructures. Nevertheless, these mathematical simulations can only be useful if all the mechanical properties of the materials, boundary conditions and damages are properly modelled. Therefore, it is required not only experimental data (static and/or dynamic tests) to provide references parameters, but also robust calibration methods able to model damage or other special structural conditions. The present paper addresses the model calibration of a footbridge bridge tested with static loads and ambient vibrations. Damage assessment was also carried out based on a hybrid numerical procedure, which combines discrete damage functions with sets of piecewise linear damage functions. Results from the model calibration shows that the model reproduces with good accuracy the experimental behaviour of the bridge.

Reasons and benefits associated with ISO 9001 - Certification for sugar and ethanol companies

With increasing business competitiveness, companies have sought to adapt their processes and / or products to worldwide established quality standards in order to achieve a greater share of consumers having as favorable aspect the quality assurance of the products and/or services provided. It was observed that companies of different sizes have different challenges regarding the certification however, the degree of difficulty is the same for all of them. The objective of this paper is to verify the reasons for the implementation of ISO 9001, the obstacles encountered during the implementation, the benefits arising from the use of the quality management system and the degree of difficulty to implement this standard. This work was developed based on a survey involving companies certified with ISO 9001:2008 from the productive sector of sugar, ethanol and derivatives of sugarcane, located in all Brazilian states. It was observed that companies of different sizes have different challenges regarding the certification however the degree of difficulty is the same for all of them. Thus, we believe that expected results represent a very important contribution to examining the reasons, benefits and difficulties of the ISO 9001 to both, the companies and certification bodies, and to researchers.

Um modelo para a gestão do conhecimento organizacional no contexto dos serviços partilhados com recurso à utilização do e-Learning

Tese de Doutoramento em Tecnologias e Sistemas de Informação

A avaliação institucional como instrumento de racionalização e o retorno à escola como organização formal

O papel central da avaliação, da avaliação institucional e dos processos de garantia da qualidade de escolas e universidades nas políticas educacionais é objeto de discussão, também considerando a reforma do Estado. As teorias da nova gestão pública e as perspectivas gestionárias são consideradas como algumas das principais fontes de inspiração e de legitimação no contexto dominante de uma educação contábil. Dados empíricos preliminares resultantes do processo de avaliação externa de escolas básicas e secundárias portuguesas são apresentados e interpretados de acordo com os principais conceitos e representações organizacionais de escola presentes nos relatórios externos. Examinando algumas das imagens e dos significados de escola, cultura de escola, autonomia, objetivos, liderança e eficácia presentes nos relatórios de avaliação, o autor releva a importância das imagens formais, racionais e burocráticas de escolas. Várias questões de investigação são apresentadas tendo por base aquilo a que o autor chama o processo da hiperburocratização das organizações educativas. Algumas dimensões do conceito de burocracia de Max Weber são revisitadas, em articulação com perspectivas neocientíficas de garantia da qualidade e com as tecnologias da informação e comunicação. O autor sugere que maior relevância deve ser atribuída aos modelos formais e racionais de interpretação das organizações educativas, pois os processos de avaliação e de garantia da qualidade estão a contribuir para a formalização de escolas e universidades e para a intensificação do seu processo de racionalização, isto é, para a emergência de uma imagem analítica das escolas como hiperburocracias.

Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.