Search results for "Verification and validation"

showing 10 items of 21 documents

Technical Note on the quality of DNA sequencing for the molecular characterisation of genetically modified plants

2018

Abstract As part of the risk assessment (RA) requirements for genetically modified (GM) plants, according to Regulation (EU) No 503/2013 and the EFSA guidance on the RA of food and feed from GM plants (EFSA GMO Panel, 2011), applicants need to perform a molecular characterisation of the DNA sequences inserted in the GM plant genome. The European Commission has mandated EFSA to develop a technical note to the applicants on, and checking of, the quality of the methodology, analysis and reporting covering complete sequencing of the insert and flanking regions, insertion site analysis of the GM event, and generational stability and integrity. This Technical Note puts together requirements and r…

0106 biological sciences0301 basic medicineVeterinary (miscellaneous)[SDV]Life Sciences [q-bio]2405 Parasitologymolecularcharacterisationnext‐generation sequencingContext (language use)Plant ScienceComputational biologyGenetically modified cropsBiology01 natural sciencesMicrobiologyGenomeInsert (molecular biology)DNA sequencing03 medical and health sciencessymbols.namesake1110 Plant Sciencegenetically modified organismgenetic stabilityDNA sequencing1106 Food ScienceSanger sequencinggenetically modified organisms2404 Microbiologyrisk assessmentmolecular characterisation10079 Institute of Veterinary Pharmacology and ToxicologyGenetically modified organism3401 Veterinary (miscellaneous)Scientific Opinion030104 developmental biologyNGSsymbols570 Life sciences; biologyAnimal Science and ZoologyParasitologynext-generation sequencing1103 Animal Science and Zoology010606 plant biology & botanyFood ScienceVerification and validation
researchProduct

Reference Standards for Software Evaluation

1990

AbstractThe field of automated ECG analysis was one of the earliest topics in Medical Informatics and may be regarded as a model both for computer-assisted medical diagnosis and for evaluating medical diagnostic programs. The CSE project has set reference standards of two kinds: In a broad sense, a standard how to perform a comprehensive evaluation study, in a narrow sense, standards as specific references for evaluating computer ECG programs. The evaluation methodology used within the CSE project is described as a basis for presentation of results which are published elsewhere in this issue.

Advanced and Specialized NursingSoftware Evaluationbusiness.industrymedia_common.quotation_subjectHealth InformaticsHealth informaticsField (computer science)Set (abstract data type)PresentationHealth Information ManagementMedicineSoftware verification and validationMedical diagnosisSoftware engineeringbusinessReference standardsmedia_commonMethods of Information in Medicine
researchProduct

An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems

2009

There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effective- ness. Their intended users thus do not know what to ex- pect from PEMS and how to evaluate them. This paper creates an information system design product theory for the class of PEMS that prescribes the meta-requirements, the meta-design, and applicable theories for all products within the class. Meta-requirements and the meta-design are derived from the project estimation and measurement literature, experiences obtained during more than ten years of empirical work in Finnish Software Measurement Association, and a commercially available PEMS.

COSMIC software sizingComputer scienceSoftware walkthroughSoftware peer reviewSoftware development processSoftware analyticsSoftwareSoftware sizingSoftware systemSoftware verification and validationSoftware measurementSoftware design descriptionEstimationSocial software engineeringbusiness.industrySoftware developmentSoftware metricSoftware deploymentSystems development life cyclePersonal software processSoftware constructionSoftware designPackage development processSoftware engineeringbusinessSoftware project management2009 42nd Hawaii International Conference on System Sciences
researchProduct

iOS Applications Testing

2015

<p class="R-AbstractKeywords"><span lang="EN-US">Mobile applications conquer the world, but iOS devices hold the major share of tablets market among the corporate workers. This study aims to identify the aspects (i.e. features and/ or limitations) that influence the testing of the native iOS applications. The aspects related to general mobile applications testing are identified through the systematic literature review of academic sources. iOS applications testing aspects are identified through the review of non-academic (multivocal) literature sources. The identified aspects are merged and discussed in detail using the reviewed sources and based on the author’s professional expe…

Computer sciencemedia_common.quotation_subjectMobile computingData scienceSoftware qualityiOS application; mobile application; testing; quality; verification and validation; systematic literature review;World Wide WebSystematic reviewiOS applications; mobile computing; software testing; software qualityOrder (exchange)Software testingQuality (business)Software verification and validationmedia_common
researchProduct

Applying a Data Quality Model to Experiments in Software Engineering

2014

Data collection and analysis are key artifacts in any software engineering experiment. However, these data might contain errors. We propose a Data Quality model specific to data obtained from software engineering experiments, which provides a framework for analyzing and improving these data. We apply the model to two controlled experiments, which results in the discovery of data quality problems that need to be addressed. We conclude that data quality issues have to be considered before obtaining the experimental results.

Data collectionSoftware sizingbusiness.industryComputer scienceData qualitySoftware constructionSoftware verification and validationComputer-aided engineeringbusinessSoftware engineeringSoftware verificationData modeling
researchProduct

QUALITY SYSTEM FOR PRODUCTION SOFTWARE (QSPS): AN INNOVATIVE APPROACH TO IMPROVE THE QUALITY OF PRODUCTION SOFTWARE

2013

A quality system for production software should be part of the quality management system of an organization and can be expressed as objectives in the form of processes, procedures, tools and responsibilities, designed and developed to fulfil the quality requirements. These usually are addressing the customers (external or internal), compliance with standards (effectiveness) waste reduction and better use of resources (efficiency) for continual improvement. Such systems are designed according to the requirements of the standards for quality management, software engineering and information security. Quality systems themselves could not provide all necessary means for driving the organization…

EngineeringProcess managementComputer Networks and Communicationsbusiness.industrySoftware developmentComputer Graphics and Computer-Aided DesignSoftware qualityArtificial IntelligenceSoftware sizingSoftware constructionSoftware quality analystSoftware quality managementSoftware verification and validationSoftware engineeringbusinessSoftwareSoftware quality controlInternational Journal of Software Engineering and Knowledge Engineering
researchProduct

A platform for the development and the validation of HW IP components starting from reference software specifications

2008

Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …

General Computer ScienceComputer sciencelcsh:TK7800-836002 engineering and technologycomputer.software_genre0202 electrical engineering electronic engineering information engineeringSoftware verification and validation[ INFO.INFO-ES ] Computer Science [cs]/Embedded SystemsSoftware design descriptionComputingMilieux_MISCELLANEOUSbusiness.industrylcsh:ElectronicsACMSoftware development020202 computer hardware & architectureSoftware frameworkComputer architectureControl and Systems EngineeringEmbedded systemSoftware constructionComponent-based software engineeringSoftware designAvionics software020201 artificial intelligence & image processing[INFO.INFO-ES]Computer Science [cs]/Embedded SystemsbusinesscomputerComputer Science(all)
researchProduct

A Newcomer's Guide to EICS, the Engineering Interactive Computing Systems Community

2019

[EN] Welcome to EICS, the Engineering Interactive Computing Systems community, PACMHCI/EICS journal, and annual conference! In this short article, we introduce newcomers to the field and to our community with an overview of what EICS is and how it positions with respect to other venues in Human-Computer Interaction, such as CHI, UIST, and IUI, highlighting its legacy and paying homage to past scientific events from which EICS emerged. We also take this opportunity to enumerate and exemplify scientific contributions to the field of Engineering Interactive Computing Systems, which we hope to guide researchers and practitioners towards making their future PACMHCI/EICS submissions successful an…

Interactive computingUser interfacesDesignComputer Networks and CommunicationsComputer science02 engineering and technologyInteractive systemsModel-driven EngineeringInteractive systems and toolsField (computer science)Software and its engineering0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesSoftware verification and validation050107 human factorscomputer.programming_languageSoftware engineeringComputingMilieux_THECOMPUTINGPROFESSIONFormal methods05 social sciencesVerification and validation020207 software engineeringFormal methodsData scienceHuman computer interaction (HCI)Human-Computer InteractionHuman-centered computingModel-based design of user interfacesUser interfaceModel-driven architecturecomputerLENGUAJES Y SISTEMAS INFORMATICOSSocial Sciences (miscellaneous)
researchProduct

Validación y verificación analítica de los métodos microbiológicos

2015

Clinical microbiologists should ensure, to the maximum level allowed by the scientific and technical development, the reliability of the results. This implies that, in addition to meeting the technical criteria to ensure their validity, they must be performed with a number of conditions that allows comparable results to be obtained, regardless of the laboratory that performs the test. In this sense, the use of recognized and accepted reference methodsis the most effective tool for these guarantees. The activities related to verification and validation of analytical methods has become very important, as there is continuous development, as well as updating techniques and increasingly complex …

Microbiology (medical)Quality managementStandardizationComputer scienceExternal quality assessmentValidation Studies as TopicLaboratory Proficiency TestingMicrobiological TechniquesCompetence (human resources)Reliability engineeringVerification and validationEnfermedades Infecciosas y Microbiología Clínica
researchProduct

Quality System for Production Software as Tool for Monitoring and Improving Organization KPIs

2013

In this paper we propose a solution as support for quality systems for production software. The motivation behind this study was to reduce that cost in the production area caused by gaps in the quality of the production software. Our proposal: QSPS (Quality System for Production Software) is offering support in the "vulnerable points" of these quality systems which usually generate nonconformities and have proved to be difficult or impossible to control. QSPS is a method in seven steps or modules that integrates also software tools, templates, checklists, evaluating tools elaborated complying to products, process and system quality standards. If other analyzed methods like: Scrum, XP, Fuzzy…

Quality managementComputer Networks and CommunicationsComputer sciencecomputer.software_genreSoftware qualityManufacturing engineeringComputer Science ApplicationsQuality management systemComputational Theory and MathematicsSoftware quality managementOperating systemSoftware quality analystSoftware verification and validationcomputerCapability Maturity Model IntegrationSoftware quality controlInternational Journal of Computers Communications & Control
researchProduct