Scribd
Upload
66 views

Research Methodology: Lecture # 7: Research Design-II

Formal, experimental, build, process, and model are the five main research methodologies used in computing science. Formal methodologies are used to prove facts about algorithms and systems, experimental methodologies evaluate new solutions through exploratory and evaluation phases, build methodologies demonstrate new artifacts, process methodologies study how tasks are accomplished, and model methodologies define abstract models to experimentally understand real systems.

Uploaded by

Mariya Iqbal
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
66 views

Research Methodology: Lecture # 7: Research Design-II

Formal, experimental, build, process, and model are the five main research methodologies used in computing science. Formal methodologies are used to prove facts about algorithms and systems, experimental methodologies evaluate new solutions through exploratory and evaluation phases, build methodologies demonstrate new artifacts, process methodologies study how tasks are accomplished, and model methodologies define abstract models to experimentally understand real systems.

Uploaded by

Mariya Iqbal
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 7

RESEARCH

METHODOLOGY

Material Based: Jos´e Nelson Amaral ,
Lecture # 7: Research Design-II
Computing Science Research
Design Methodology

 Formal
 Experimental
 Build
 Process
 Model

2
Formal Methodology

 In Computing Science, formal methodologies are
mostly used to prove facts about algorithms and
system. Researchers may be interested on the formal
specification of a software component in order to
allow the automatic verification of an
implementation of that component. Alternatively,
researchers may be interested on the time or space
complexity of an algorithm, or on the correctness or
the quality of the solutions generated by the
algorithm.
3
Experimental

 Experimental methodologies are broadly used in CS
to evaluate new solutions for problems.
Experimental evaluation is often divided into two
phases. In an exploratory phase the researcher is
taking measurements that will help identify what are
the questions that should be asked about the system
under evaluation. Then an evaluation phase will
attempt to answer these questions. A well-designed
experiment will start with a list of the questions that
the experiment is expected to answer.
4
Build

 A “build” research methodology consists of building
an artifact — either a physical artifact or a software
system — to demonstrate that it is possible. To be
considered research, the construction of the artifact
must be new or it must include new features that
have not been demonstrated before in other artifacts.

5
Process

 A process methodology is used to understand the
processes used to accomplish tasks in Computing
Science. This methodology is mostly used in the
areas of Software Engineering and Man-Machine
Interface which deal with the way humans build and
use computer systems. The study of processes may
also be used to understand cognition in the field of
Artificial Intelligence.

6
Model

 The model methodology is centered on defining an abstract
model for a real system. This model will be much less
complex than the system that it models, and therefore will
allow the researcher to better understand the system and to
use the model to perform experiments that could not be
performed in the system itself because of cost or accessibility.
The model methodology is often used in combination with
the other four methodologies. Experiments based on a model
are called simulations. When a formal description of the
model is created to verify the functionality or correctness of a
system, the task is called model checking

You might also like