(PDF) Empirical Formal Methods: Guidelines for Performing Empirical
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 ...
Empirical Formal Methods: Guidelines for Performing Empirical Studies
For over two decades, empirical strategies, such as controlled experiments, case studies, surveys, literature reviews, etc., have largely been used to assess software engineering methods and tools, to study software practice, and to summarise research findings [].However, empirical studies on formal methods (FM), which are mathematically-based techniques and associated with tools that ...
Formal research designs
A quick, somewhat easy-to-read introduction to empirical social science research methods. Formal research designs Simply collecting data is insufficient to answer research questions. We must have a plan, a research design, to enable us to draw conclusions from our observations. Different methodologists divvy up the panoply of research designs ...
PDF Empirical Research Papers
Method(s) The method (or methods) section of an empirical research paper describes, in detail, how the authors attempted to answer the research question. It describes the study's participants, materials, instruments, experimental protocols, measurements, variables, ... While all research articles use formal language, some employ highly ...
[PDF] Empirical Formal Methods: Guidelines for Performing Empirical
This paper defines nine different study strategies and discusses for each their crucial characteristics, the difficulties of applying them to formal methods and tools, typical threats to validity, their maturity in formal methods, pointers to external guidelines, and pointers to studies in other fields. Empirical studies on formal methods and tools are rare. In this paper, we provide ...
[2208.05266] Empirical Formal Methods: Guidelines for Performing
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 (laboratory experiments with software and human subjects, usability testing, surveys, qualitative studies, judgment studies, case studies, systematic literature reviews, and systematic mapping studies ...
An empirical research agenda for understanding formal methods
Empirical software engineering for formal methods is a large open research field. For the empirical software engineering community our paper provides a view into the entities and research questions in this domain. For the formal methods community we identify some of the benefits that empirical studies could bring to the effective management of ...
PDF Formal and Empirical Methods in Philosophy of Science
illustrates how formal and empirical methods can be fruitfully combined. Special emphasis is given to the application of experimental methods to confirmation theory and to recent work on the conjunction fallacy, a key topic in the rationality debate arising from research in cognitive psychology. Several other issue can be studied in
An empirical research agenda for understanding formal methods
Formal methods, and particularly formal verification, is becoming more feasible to use in the engineering of large highly dependable software-based systems, but so far has had little rigorous empirical study.Its artefacts and activities are different to those of conventional software engineering, and the nature and drivers of productivity for formal methods are not yet understood.
Data collection structured by formal research designs
Case study research design is the oddball of the formal research designs. Many researchers who feel comfortable with all the other designs would feel ill equipped to undertake a case study. A case study is the systematic study of a complex case that is in-depth and holistic. Unlike the other designs, we're just studying a single case, which ...
COMMENTS
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 ...
For over two decades, empirical strategies, such as controlled experiments, case studies, surveys, literature reviews, etc., have largely been used to assess software engineering methods and tools, to study software practice, and to summarise research findings [].However, empirical studies on formal methods (FM), which are mathematically-based techniques and associated with tools that ...
A quick, somewhat easy-to-read introduction to empirical social science research methods. Formal research designs Simply collecting data is insufficient to answer research questions. We must have a plan, a research design, to enable us to draw conclusions from our observations. Different methodologists divvy up the panoply of research designs ...
Method(s) The method (or methods) section of an empirical research paper describes, in detail, how the authors attempted to answer the research question. It describes the study's participants, materials, instruments, experimental protocols, measurements, variables, ... While all research articles use formal language, some employ highly ...
This paper defines nine different study strategies and discusses for each their crucial characteristics, the difficulties of applying them to formal methods and tools, typical threats to validity, their maturity in formal methods, pointers to external guidelines, and pointers to studies in other fields. Empirical studies on formal methods and tools are rare. In this paper, we provide ...
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 (laboratory experiments with software and human subjects, usability testing, surveys, qualitative studies, judgment studies, case studies, systematic literature reviews, and systematic mapping studies ...
Empirical software engineering for formal methods is a large open research field. For the empirical software engineering community our paper provides a view into the entities and research questions in this domain. For the formal methods community we identify some of the benefits that empirical studies could bring to the effective management of ...
illustrates how formal and empirical methods can be fruitfully combined. Special emphasis is given to the application of experimental methods to confirmation theory and to recent work on the conjunction fallacy, a key topic in the rationality debate arising from research in cognitive psychology. Several other issue can be studied in
Formal methods, and particularly formal verification, is becoming more feasible to use in the engineering of large highly dependable software-based systems, but so far has had little rigorous empirical study.Its artefacts and activities are different to those of conventional software engineering, and the nature and drivers of productivity for formal methods are not yet understood.
Case study research design is the oddball of the formal research designs. Many researchers who feel comfortable with all the other designs would feel ill equipped to undertake a case study. A case study is the systematic study of a complex case that is in-depth and holistic. Unlike the other designs, we're just studying a single case, which ...