[PDF][PDF] Методы верификации программного обеспечения

ВВ Кулямин - М.: ИСП РАН, 2008 - bsivko.pbworks.com
В данной работе представлен обзор методов верификации программного обеспечения
(ПО). Верификацией называется проверка соответствия результатов отдельных …

Factors in the practice environment of nurses working in inpatient mental health: A partial least squares path modeling approach

M Roche, C Duffield, E White - International journal of nursing studies, 2011 - Elsevier
BACKGROUND: Developing a therapeutic relationship with consumers is considered as the
central aspect of nursing work in mental health. The importance of this relationship stems …

[HTML][HTML] Clinical and microbiological characteristics of community-acquired pneumonia associated with Streptococcus pneumoniae in adult patients in Mexico

G Echaniz-Aviles, E Garza-González… - Revista Argentina de …, 2019 - Elsevier
The aim of this study was to assess the risk factors and clinical and microbiological
characteristics of community-acquired pneumonia (CAP) in adult patients in Mexico …

[图书][B] Der Architekturreview: Vorgehensweise, Konzepte und Praktiken

D Masak - 2009 - books.google.com
Code-Reviews sind heute integrale Bestandteile von Softwareentwicklung, jedoch ist die
Wirkung von Architekturreviews deutlich effektiver. Ziel des Buches ist es, die Methoden der …

Padrões de testes automatizados

PC Bernardo - 2011 - teses.usp.br
A qualidade dos sistemas de software é uma preocupação de todo bom projeto e muito tem
se estudado para melhorar tanto a qualidade do produto final quanto do processo de …

A simplified model for software inspection

S Misra, L Fernández… - Journal of software …, 2014 - Wiley Online Library
Software inspection is considered a cost‐effective quality assurance technique in software
process improvement. Although inspections detect the majority of defects in the early stages …

Exploratory factor analysis for software development projects in Mexico

S Alcaraz-Corona, JL Cantú-Mata… - Statistics, Optimization & …, 2019 - iapress.org
Time and risk management have always been major concerns in a continuously growing
number of processes or methodologies used to develop all kinds of useful products and …

Image compression using artificial neural networks

PV Rao, S Madhusudana… - … on machine learning …, 2010 - ieeexplore.ieee.org
This paper explores the application of artificial neural networks to image compression. An
image compressing algorithm based on Back Propagation (BP) network is developed after …

[PDF][PDF] A survey and classification of software testing tools

S Uspenskiy - 2010 - lutpub.lut.fi
Software testing is one of the essential parts in software engineering process. The objective
of the study was to describe software testing tools and the corresponding use. The thesis …

Cost efficient software review in an e-business software development project

B Xu - 2010 International Conference on E-Business and E …, 2010 - ieeexplore.ieee.org
Many software projects face the trouble to satisfy both cost constraints and high quality
requirement. Software review turns out to be an efficient approach to reduce the cost and …