Results 211 to 220 of about 608,244 (260)

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Software, 2022
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature
Alessio Ferrari, Maurice H. ter Beek, Ter Beek Maurice H   +2 more
exaly   +7 more sources

Some of the next articles are maybe not open access.

Related searches:

Empirical and Nonempirical Methods

2017
The dividing line between empirical and nonempirical methods is marked by scholars' approach to knowledge gain (i.e., epistemology). Empirical methods typically involve systematic collection and analysis of data (i.e., observation and evidence).
Viorela Dan
exaly   +2 more sources

Empirical Methods for the Law

SSRN Electronic Journal, 2017
Empirical Methods for the ...
openaire   +4 more sources

Empirical Psychotherapeutic Methods

Psychotherapy and Psychosomatics, 2010
Psychotherapy comprises all forms of psychological treatment. Four aims can be distinguished in various psychotherapeutic procedures – to provide a rewarding experience, to increase self-knowledge, to allow confession, or to effect a lasting change in behaviour.
openaire   +2 more sources

Empirical Methods

Terms such ‘empirical legal studies’, ‘empirical legal research’ and ‘empirical methods in law’ can be understood in a wide or narrow sense. In a wide sense, such research includes both qualitative and quantitative methods and thus it overlaps to a large extent with research on ‘law and society’, ‘socio-legal studies’ and ‘legal sociology’. By contrast,
Alessia Corami, Saeid Eslamian, Eslamian Faezeh   +2 more
openaire   +3 more sources

On a Method of Empirical Risk Minimization

Problems of Information Transmission, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

BOOTSTRAP METHOD AND EMPIRICAL PROCESS

Annals of the Institute of Statistical Mathematics, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Akahira, Masafumi, Takeuchi, Kei
openaire   +2 more sources

Empirical Bayes Methods.

Applied Statistics, 1992
Empirical Bayes Methods. By J. Maritz and T. Lwin. ISBN 0 412 27760 3. Chapman and Hall, London, 1989. xii + 284 pp. £27.50.
Karen Young, J. Maritz, T. Lwin
openaire   +1 more source