Determination of software quality through a generic model

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Determination of software quality through a generic model

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Implementing the European quality assurance in vocational education and training (EQAVET) at national level: Some insights from the PEN Leonardo project

EQAVET, the quality assurance tool in vocational and educational training, was developed in response to the need for a supply of a trained workforce for labour market needs. Implementation of EQAVET at national level, however, remains a challenge. The research reported here focused on the implementation of QA processes by VET providers in 4 countries: Malta, Italy, Turkey, and Sweden. Data was collected through a questionnaire with 62 VET providers. Responses showed that there is an overall commitment to quality. There is, however, little knowledge of EQAVET across the countries, with the exception of Malta. None the less, all VET providers have implemented some aspects of EQAVET, even if not always intentionally. The situation is, however, far from EQAVET being fully implemented. Reflections are made on whether the EQAVET model specifically or qualification assurance principles assurances should be promoted across Europe. (DIPF/Orig.)

Large-Scale Controlled-Condition Experiment to Evaluate Light Weight Deflectometers for Modulus Determination and Compaction Quality Assurance of Unbound Pavement Materials

Compaction control using lightweight deflectometers (LWD) is currently being evaluated in several states and countries and fully implemented for pavement construction quality assurance (QA) by a few. Broader implementation has been hampered by the lack of a widely recognized standard for interpreting the load and deflection data obtained during construction QA testing. More specifically, reliable and practical procedures are required for relating these measurements to the fundamental material property—modulus—used in pavement design. This study presents a unique set of data and analyses for three different LWDs on a large-scale controlled-condition experiment. Three 4.5x4.5 m2 test pits were designed and constructed at target moisture and density conditions simulating acceptable and unacceptable construction quality. LWD testing was performed on the constructed layers along with static plate loading testing, conventional nuclear gauge moisture-density testing, and non-nuclear gravimetric and volumetric water content measurements. Additional material was collected for routine and exploratory tests in the laboratory. These included grain size distributions, soil classification, moisture-density relations, resilient modulus testing at optimum and field conditions, and an advanced experiment of LWD testing on top of the Proctor compaction mold. This unique large-scale controlled-condition experiment provides an excellent high quality resource of data that can be used by future researchers to find a rigorous, theoretically sound, and straightforward technique for standardizing LWD determination of modulus and construction QA for unbound pavement materials.

Controlled Vocabulary Enhancement through Crowdsourcing: Project Andvari, Micropasts, and Public Quality Assurance

Proceedings paper published by Society of American Archivists. Presented at conference in 2015 in Cleveland, OH (http://www2.archivists.org/proceedings/research-forum/2015/agenda#papers). Published by SAA in 2016.

Continuous Quality Assurance and Optimisation in Cloud-Based Virtual Enterprises

Part 18: Optimization in Collaborative Networks

In vitro-in vivo Pharmacokinetic correlation model for quality assurance of antiretroviral drugs

Introduction: The In vitro-in vivo pharmacokinetic correlation models (IVIVC) are a fundamental part of the drug discovery and development process. The ability to accurately predict the in vivo pharmacokinetic profile of a drug based on in vitro observations can have several applications during a successful development process. Objective: To develop a comprehensive model to predict the in vivo absorption of antiretroviral drugs based on permeability studies, in vitro and in vivo solubility and demonstrate its correlation with the pharmacokinetic profile in humans. Methods: Analytical tools to test the biopharmaceutical properties of stavudine, lamivudine y zidovudine were developed. The kinetics of dissolution, permeability in caco-2 cells and pharmacokinetics of absorption in rabbits and healthy volunteers were evaluated. Results: The cumulative areas under the curve (AUC) obtained in the permeability study with Caco-2 cells, the dissolution study and the pharmacokinetics in rabbits correlated with the cumulative AUC values in humans. These results demonstrated a direct relation between in vitro data and absorption, both in humans and in the in vivo model. Conclusions: The analytical methods and procedures applied to the development of an IVIVC model showed a strong correlation among themselves. These IVIVC models are proposed as alternative and cost/effective methods to evaluate the biopharmaceutical properties that determine the bioavailability of a drug and their application includes the development process, quality assurance, bioequivalence studies and pharmacosurveillance.

Engineering education quality assurance within the school of engineering: a holistic approach

BACKGROUND Quality assurance is a key element of engineering education at Deakin University and is monitored through various mechanisms which also include the process of collecting students’ feedback within the Schools and faculties. The information received are then looked at holistically and action plan is developed to implement. This has proven to be very effective to ensure feedback received from the students has been properly addressed.
PURPOSE The School of Engineering at Deakin University, has initiated the formation of Engineering Educational Quality Working Group (QWG). The aim of QWG is to provide a focal point for learning and teaching quality and its assurance in undergraduate and postgraduate Engineering courses. The school approach complements Deakin University processes of collecting and analysing student feedback on unit curricula design, delivery and facilitator delivery performance; feedback regarding individual facilitator, unit evaluations and graduate course experiences.
DESIGN/METHOD The data are collected through face to face feedback from both on and off campus students. Feedback received from the end of trimester student evaluation process was also analysed.
RESULTS The motivation behind the practise is to close the loop for the feedback received from the students and take appropriate action against the feedback. This is to enhance overall delivery of engineering education at Deakin University.
CONCLUSIONS This paper outlines the activities planned by the QWG and elaborates on quality assurance approaches and key strategies to be implemented by the working group to achieve the desired quality as well as efficacy of those recommendations/actions undertaken at the school level.

Mathematical modeling for improved greenhouse gas balances, agro-ecosystems, and policy development: Lessons from the Australian experience

If the land sector is to make significant contributions to mitigating anthropogenic greenhouse gas (GHG) emissions in coming decades, it must do so while concurrently expanding production of food and fiber. In our view, mathematical modeling will be required to provide scientific guidance to meet this challenge. In order to be useful in GHG mitigation policy measures, models must simultaneously meet scientific, software engineering, and human capacity requirements. They can be used to understand GHG fluxes, to evaluate proposed GHG mitigation actions, and to predict and monitor the effects of specific actions; the latter applications require a change in mindset that has parallels with the shift from research modeling to decision support. We compare and contrast 6 agro-ecosystem models (FullCAM, DayCent, DNDC, APSIM, WNMM, and AgMod), chosen because they are used in Australian agriculture and forestry. Underlying structural similarities in the representations of carbon flows though plants and soils in these models are complemented by a diverse range of emphases and approaches to the subprocesses within the agro-ecosystem. None of these agro-ecosystem models handles all land sector GHG fluxes, and considerable model-based uncertainty exists for soil C fluxes and enteric methane emissions. The models also show diverse approaches to the initialisation of model simulations, software implementation, distribution, licensing, and software quality assurance; each of these will differentially affect their usefulness for policy-driven GHG mitigation prediction and monitoring. Specific requirements imposed on the use of models by Australian mitigation policy settings are discussed, and areas for further scientific development of agro-ecosystem models for use in GHG mitigation policy are proposed.

Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

Evaluation of MegaVoltage Cone Beam CT image quality with an unmodified Elekta Precise Linac and EPID : a feasibility study

In order to increase the accuracy of patient positioning for complex radiotherapy treatments various 3D imaging techniques have been developed. MegaVoltage Cone Beam CT (MVCBCT) can utilise existing hardware to implement a 3D imaging modality to aid patient positioning. MVCBCT has been investigated using an unmodified Elekta Precise linac and 15 iView amorphous silicon electronic portal imaging device (EPID). Two methods of delivery and acquisition have been investigated for imaging an anthropomorphic head phantom and quality assurance phantom. Phantom projections were successfully acquired and CT datasets reconstructed using both acquisition methods. Bone, tissue and air were 20 clearly resolvable in both phantoms even with low dose (22 MU) scans. The feasibility of MegaVoltage Cone beam CT was investigated using a standard linac, amorphous silicon EPID and a combination of a free open source reconstruction toolkit as well as custom in-house software written in Matlab. The resultant image quality has 25 been assessed and presented. Although bone, tissue and air were resolvable 2 in all scans, artifacts are present and scan doses are increased when compared with standard portal imaging. The feasibility of MVCBCT with unmodified Elekta Precise linac and EPID has been considered as well as the identification of possible areas for future development in artifact correction techniques to 30 further improve image quality.

Development of a dose assessment tool for the auditing of radiotherapy treatment dosimetric quality

The reporting and auditing of patient dose is an important component of radiotherapy quality assurance. The manual extraction of dose-volume metrics is time consuming and undesirable when auditing the dosimetric quality of a large cohort of patient plans. A dose assessment application was written to overcome this, allowing the calculation of various dose-volume metrics for large numbers of plans exported from treatment planning systems. This application expanded on the DICOM-handling functionality of the MCDTK software suite. The software extracts dose values in the volume of interest by using a ray casting point-in-polygon algorithm, where the polygons have been defined by the contours in the RTSTRUCT file...