Search results for "Software verification and validation"

showing 10 items of 18 documents

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

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

Use and Identification of Components in Component-Based Software Development Methods

2000

New software systems are needed ever more but to keep up with this trend software developers must learn to create quality software more efficiently. One approach is to (re-)use components as building blocks of the new software. Recently there has been more interest to create component-based software development methods to support this. In this article we first set out requirements for reuse-based software development and then evaluate three component-based methods, namely Catalysis, OMT++, and Unified Process. As a conclusion we argue that evaluated methods produce prefabricated components and that component-based means that software developers can change better components to existing syste…

Resource-oriented architectureComputer scienceKnowledge engineeringReuseSoftware walkthroughcomputer.software_genreSoftware development processSoftware analyticsSoftwareSoftware verification and validationSoftware systemSoftware requirementsUnified ProcessReusabilitySocial software engineeringbusiness.industrySoftware developmentSoftware frameworkSoftware deploymentComponent-based software engineeringSoftware constructionPersonal software processPackage development processBackportingSoftware architecturebusinessSoftware engineeringcomputer
researchProduct

Which Test Artifacts Testing Service Providers should Reuse and How? Experiences from a Case Study in the Chinese ICT Sourcing Market

2011

Software testing service providers are facing new requirements to shorten service times, lower costs, and increase service customization and quality. Reuse of test artifacts is a possible solution that can help providers to meet the requirements because reuse can improve software quality and productivity. However, the extant literature does not explain in depth which test artifacts should be reused and how. This paper focuses on ICT-enabled sourcing of software testing services in the Chinese market to identify the most important reusable test artifacts. There are two reasons for this research. First, most Chinese service providers are small or medium-sized and have to overcome obstacles su…

Service (systems architecture)Process managementComputer scienceSoftware walkthroughReuseSoftware peer reviewGlobalizationSoftware quality analystSoftware verification and validationMarketingta113Social software engineeringbusiness.industrySoftware as a serviceSoftware developmentService providerSoftware qualityInformation and Communications TechnologySoftware deploymentPersonal software processSoftware quality managementPackage development processbusinessSystem integration testingSoftware project managementSoftware quality control
researchProduct