# data[].attributes.body
Nama: Iliya Pathiha binti Mohamad Pauzi
Tarikh Lahir: 22/12/1997
Kos: ISMP Multimedia
Asal: Kampar, Perak

# data[].attributes.body
NAMA: MOHD. AIMAN BIN NASIB
UMUR: 22
TARIKH LAHIR: 21/10/2000
KOS: KEJURUTERAAN PERISIAN (AC10)
FAKULTI: FSKIK- SENI, KOMPUTERAN DAN INDUSTRI KREATIF
ASAL: KUDAT, SABAH
HOBI: BERMAIN BOLA SEPAK, FUTSAL, BOLA TAMPAR, GAME
NO TEL: 010-9431650

# data[].attributes.body
Nama: MUHAMMAD HAZIQ DANIAL BIN ZAINOL ABIDIN
Tarikh lahir: 28/9/2001
Kos: ISM KEJURUTERAAN PERISIAN(AC10)
Fakulti: FSKIK
Asal: BAYAN LEPAS, PENANG
Hobi: Main Game, Tengok Anime
No HP: 0174462160

# data[].attributes.body
Nama: WAN MUHAMMAD SYAFIQ IQBAL BIN WAN OTHAMAN
Tarikh lahir: 19/05/2000
Kos: SOFTWARE ENGINEERING (AC10)
Fakulti: FSKIK
Asal: SEPANG, SELANGOR
Hobi: STREAMING, BERMAIN FUTSAL.
No HP: 01114316564

# data[].attributes.body
Nama: MUHAMMAD AIMAN BIN ABD RASHID
Tarikh lahir: 01/02/2001
Kos: ISM SOFTWARE ENGINEERING AC10
Fakulti: FSKIK
Asal: TAIPING,PERAK
Hobi: RUNNING, HIKING
No HP: 0174686248

# data[].attributes.body
Nama: Muhamad Fitry Syahir bin Mohd Azhar
Kos: AC10 - Kejuruteraan Perisian (Perisian Pendidikan)
Fakulti: FSKIK
Asal: Kampar, Perak.
Hobi: Dengar lagu, tonton drama.
No HP: 018-2704055

# data[].attributes.body
Nama : Wan Nur Afiqah Binti Zulkefli
Tarikh lahir : 18 April 2000
Kursus : AT46 - ISMP Multimedia
Fakulti : FSKIK
Asal : Klang, Selangor

# data[].attributes.body
Nama : Nazifa Nawwarah binti Kamarudin

Tarikh lahir : 1 April 1997

Kursus : AT47 ISMP Teknologi Rekabentuk Berkomputer

Fakulti : FSKIK

Asal : Johor Bahru, Johor

# data[].attributes.body
Nama : WAN NURAISHAH BINTI WAN ZULLKEFLI
Kos : Kejuruteraan Perisian
Fakulti : FSKIK
Asal : Kota Bharu, Kelantan
Hobi : Mendengar lagu
No. HP : 010-5499210

# data[].attributes.body
Nama: CHIN GUI XING
Umur: 22
Tarikh Lahir: 26/08/2000
Kos: Kejuruteraan Perisian (AC10)
Fakulti: FSKIK
Asal: Serdang, Kedah
Hobi: Bermain ping pong, Nikmat movie
No. Hp: 016-6969971

# data[].attributes.body
Nama  : NUR'AQILAH BINTI ISMAIL
Kos      : Kejuruteraan Perisian
Fakulti : FSKIK
Asal     : Lekir, Sitiawan
Hobi    : Mendengar muzik dan melayari internet
No. HP : 011-19135720

# data[].attributes.body
Nama : Anis Ruszanna Binti Rosli
Umur : 21
Tarikh lahir : 8/8/2001
Course : Software Engineering (AC10)
Faculti : FSKIK
Asal: Bukit Mertajam, Penang
Hobi: tengok drama
Phone num: 0174757964

# data[].attributes.body
Nama : NUR AFIQAH DAYANA BINTI MOHAIRI
Umur : 21
Tarikh Lahir : 3/10/2001
Course : Software Engineering (AC10)
Faculty : FSKIK
Asal : Pasir Gudang, Johor
Hobi : Menonton drama dan melayari internet
Phone Num : 01162024746

# data[].attributes.body
Nama: MUHAMMAD FAZYRUL BIN FAIZALIZAL
Umur: 22
Tarikh lahir: 18/06/2000
Kos: Kejuruteraan Perisian (AC10)
Fakulti: FSKIK
Asal: Temerloh, Pahang
Hobi: Bermain badminton 🏸
No tel: 0189118162

# data[].attributes.body
Nama: JUNIER JEROME JAMES GOSUTI
Umur: 22
Tarikh Lahir: 25/10/2000
Kos: Kejuruteraan Perisian (AC10)
Fakulti: FSKIK
Asal: Kota Kinabalu, Sabah
Hobi: Bermain Futsal, Bola Sepak
No.Hp: 019-8092885

# data[].attributes.body
Nama: ASLAM HAMDI BIN SAMRAN
Umur: 22
Tarikh Lahir: 8/2/2000
Kos: Kejuruteraan Perisian
Fakulti: FSKIK
Asal: Tanjung Karang, Selangor

# data[].attributes.attachment_link.title
Green Abstract Fluid Blob Illustration Linktree Profile Image

# data[].attributes.body
Nama: LIM WEI QUAN
Umur: 23
Tarikh Lahir: 21/08/1999
Kos: Kejuruteraan Perisian (AC10)
Fakulti: FSKIK
Asal: Alor Setar, Kedah
No.Hp: 017-4180610

# data[].attributes.body
Nama: AMMAR IRFAN BIN ZAKARIA
Tarikh lahir: 27/9/2000
Kos: ISM KEJURUTERAAN PERISIAN (AC10)
Fakulti: FSKIK
Tempat tinggal: Setiu, Terengganu
No HP: 01111338404

# data[].attributes.body
Nama: AHMAD AIMAN BIN ZULKIPLI
Umur: 22
Tarikh Lahir: 26/4/2000
Hobi: Bermain Bola Sepak dan Futsal
Kos: AC10
Fakulti: FSKIK
Asal: Jeli, Kelantan
No.HP: 01115052544

# data[].attributes.body
NAMA : NAJWA AIMAN BINTI MOHAMAD SOFI
UMUR : 25 TAHUN
TARIKH LAHIR : 17 OGOS 1997
ASAL : BEDONG, KEDAH
KOS : AT46 (ISMP MULTIMEDIA) SEMESTER 7

# data[].attributes.body
Nama : Fatin Nursyafawani Binti Md Rashid
Umur : 22 Tahun
Tarikh Lahir : 19 Februari 2000
Kos : AC10 - ISM Kejuruteraan Perisian
Fakulti : FSKIK
Asal : Klang, Selangor
Hobi : Melukis , Part time Henna Artis
No HP : 017-6815168

# data[].attributes.body
NAMA: KHAIRIL AMIR BIN ZAKARIA
TARIKH LAHIR: 07/04/2001
COURSE: ISM KEJURUTERAAN PERISIAN(AC10)
FAKULTI: FSKIK
ASAL: SUNGAI PETANI,KEDAH
HOBI:MAIN GAME, BADMINTON
NO HP: 0179498440

# data[].attributes.body
NAMA: NUR FATIHAH IZZATI BINTI MOHD HAIRUNNIZAM
UMUR: 22 TAHUN
TARIKH LAHIR: 4/12/2000
KOS: ISM KEJURUTERAAN PERISIAN (AC10)
ASAL: KULAI, JOHOR
HOBI: MEMBACA KOMIK ONLINE, LAYAN ANIME DAN SINETRON
NO. TEL: 013-7320827

# data[].attributes.body
Nama: Zephyrinus Dumat
Tarikh Lahir: 10/04/2000
Kos: AC10 (sem 4)
Fakulti: FSKIK
ASAL: Kampung Giok Tamparuli Sabah
Hobi: Main Game (pubg,ml)
No hp: 0148711549

# data[].attributes.body
Name : NOR SHEILA BINTI NURDIN

Kos: ISM SOFTWARE ENGINEERING AC10

Fakulti: FSKIK

Asal: KL

Hobi: Jalan-Jalan Cari Makan !
& love to explore new things !

# data[].attributes.body
Name: NUREESA BINTI ZAIDI
Umur: 21
Kos: ISM AC10 Software Engineering
Fakulti: FSKIK
Asal: Selangor
No. hp: 0178779116

# data[].attributes.body
Nama : Nur Fatini Qistina binti Mohd Zaini
Umur : 21 tahun
Kursus : AC10 - ISM KEJURUTERAAN PERISIAN
Fakulti : FSKIK
Asal : Kajang,Selangor

# data[].attributes.body
Nama : Nur Alyana ‘Aqilah Binti Anuar
Umur : 21 tahun
Tarikh lahir : 23/7/2001
Course : Software Engineering (AC10)
Fakulti : FSKIK
Asal : Gombak, Selangor
No tel : 0136576067

# data[].attributes.body
Nama:Sharulaznie bin Ibrahim
Tarikh Lahir:21/01/1996
Kos:AC10 Kejuruteraan Perisian(Perisian Pendidikan)
Fakulti:FSKIK
Asal:Jeli,Kelantan
Hobi:Berniaga

# data[].attributes.body
Nama : Muhammad Aiman bin Saiful Bahrin
Umur : 21 tahun
Tarikh lahir : 11/7/2001
Course : Software Engineering (AC10)
Fakulti : FSKIK
Asal : Batu Gajah, Perak
No tel : 01112402974

# data[].attributes.body
Nama: MOHAMAD AIMAN ZACHERY
Umur: 21 tahun
Tarikh lahir: 9/8/2001
Kursus: ISM KEJURUTERAAN PERISIAN AC10
Fakulti: FSKIK
Asal: Sandakan, Sabah
No. Telefon: 0116330393

# data[].attributes.body
Nama: Heereshma A/P Kalaichelvan
Umur: 24 Tahun
Tarikh Lahir: 19/8/1998
Kursus: AC10 Kejuruteraan Perisian
Fakulti: FSKIK
Asal: Kuala Lumpur
No. Telefon: 0125234519
Hobi: Melukis mandala, Membaca novel, Melibatkan diri dalam aktiviti sukarelawan

# data[].attributes.headline
Reflection Chapter  1( Formal Method) – JUNIER JEROME JAMES GOSUTI (D20201094948)

# data[].attributes.subject
Reflection Chapter  1( Formal Method) – JUNIER JEROME JAMES GOSUTI (D20201094948)

# data[].attributes.body
Formal Method -

Foundation to

I.          Safety critical systems – avoiding system malfunction

II.          Complex systems

III.          Program development

Construct software and physical systems, system designers employ precisely described mathematical models. Formal approaches, unlike other design techniques, its use mathematical proof as a supplement to system testing to verify a accurate and correct behavior to statisfy demand of security.

-The Use?

We want to define the system + articulate implicit assumptions with writing a specification to prove the program.

-Required for?

Systemize and introduce a rigorous all phases of soft development which math proof for a correct behavior.

Semantic

Method to construct data to represent in logical term.

Formal Methods Continuation – Based on mathematic and formal logic

Level of rigors in 4 level – Modelling language, Math + Semantic

1.     Informal

2.     Low

3.     Medium

4.     High

Formal Methods Model – Apply mathematical techniques to process a developing complex software systems.

Traditional Approach

1.     Formal specification languages

2.      Reactive system modelling

3.     Formal conceptual modelling

Formal Specification Methods

1.     Formal specifications – high level behaviours + properties of the system

I.          Algebraic semantics

II.          Temporal logic models

2.     Formal proofs – essential part of specification, complete argument for system validity

3.     Model checking – techniques that rely with finite model of system and check the desired properties in the model.

I.          Temporal model checking

II.          Automaton model checking

4.     Abstraction – represent program using smaller model, simply and ignore irrelevant details

Formalize(software&hardware) – theory use as abstract representation

·       Requirement knowledge – resolving flaws in the system

·       Specifications of requirements

·       Model checking is required to prove design properties in the system are statisfy

Mathematical Models – an abstract representations of a system using mathematical entities and concepts

1.     Continuos models

2.     Discrete models

# data[].attributes.headline
Reflection Chapter 1 – CHIN GUI XING (D20201092355)

# data[].attributes.subject
Reflection Chapter 1 – CHIN GUI XING (D20201092355)

# data[].attributes.body
Definition of Formal Methods:

- Mathematically techniques and tools for the specification, design and verification of software and hardware systems.

Why formalize:

- Improve precision and remove flaws.

- Avoid overlook critical issues.

Why not formalize:

- Have to focus on consistent, correct model.

- Costly and unfeasible.

- Very uncommon approach.

Formal Specification Method:

- Formal specification: Translation from non-mathematical description to formal specification language

- Formal proofs: A series of small steps that justified by using a small set of rules.

- Model checking: Method that involves creating a finite model of a system and ensuring that a desired property is present in that model.

- Abstraction: Representation of the program using a smaller model.

Limitations to FM:

- Requires a sound mathematical knowledge of the developer.

- Can’t guarantee the completeness of a specifications.

- Never made 100% secure.

# data[].attributes.headline
Reflection chapter 1 ( Formal Method) -  NUR AFIQAH DAYANA BINTI MOHAIRI (D20201094873)

# data[].attributes.subject
Reflection chapter 1 ( Formal Method) -  NUR AFIQAH DAYANA BINTI MOHAIRI (D20201094873)

# data[].attributes.headline
Reflection Chapter 1 – ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.subject
Reflection Chapter 1 – ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.headline
Reflection Notes Chapter 1 (FORMAL METHODS) 

# data[].attributes.subject
Reflection Notes Chapter 1 (FORMAL METHODS) 

# data[].attributes.body
NUR FATIHAH IZZATI BINTI MOHD HAIRUNNIZAM
D20201092291

# data[].attributes.headline
REFLECTION CHAPTER 1 (Muhamad Fitry Syahir Bin Mohd Azhar - D20201092320)

# data[].attributes.subject
REFLECTION CHAPTER 1 (Muhamad Fitry Syahir Bin Mohd Azhar - D20201092320)

# data[].attributes.headline
Reflection Chapter 1 - Ammar Irfan b. Zakaria (D20201094846)

# data[].attributes.subject
Reflection Chapter 1 - Ammar Irfan b. Zakaria (D20201094846)

# data[].attributes.body
MUHAMMAD AIMAN BIN ABD RASHID
d20201092324

# data[].attributes.body
Formal Method-Mathematics and modelling applicable to the specification,design,and verification of the software

Where it can be applied?
-Applied to various aspects,properties and large systems
-Can be applied to the detailed specification,design and verification of critical parts of the large systems

Critical system types
-Safety Critical Systems
-Mission Critical Systems
-Business Critical Systems

Advantages of Formal Method
-Discipline
-Precision

Disadvantages of Formal Method
-Expense
-Limits of computational model
-Usability

Formal Method are needed to:
-Improve SW quality
-Reduce cost of verifying system
-Imrove quality and rigor of entire development process
-Reduce specification errors and provide rational basis for choosing test data
-Explore the properties od a design architecture

# data[].attributes.headline
Reflection Chapter 1 - NUR'AQILAH BINTI ISMAIL (D20201094943)

# data[].attributes.subject
Reflection Chapter 1 - NUR'AQILAH BINTI ISMAIL (D20201094943)

# data[].attributes.body
FORMAL METHOD - Mathematics and modelling applicable to the specification, design, and verification of the software and hardware systems.

FORMAL METHODS CONTINUATION
Techniques and tools based on mathematics and formal logic

Levels of rigors - Use modelling language (math + semantic) :

Informal

Low

Medium

High

WHY FORMALIZE?

Need to bridge from the informal world to a formal machine domain

Avoid overlook critical issues

FORMAL SPECIFICATION METHODS

1. Formal Specification

2. Formal Proofs

3. Model checking

4. Abstraction

MATHEMATICAL MODELS
Abstract representations of a system using mathematical entities and concepts

1. Continuous models

2. Discrete models

# data[].attributes.headline
Reflection Notes Chapter 1 (Introduction to Formal Method)

# data[].attributes.subject
Reflection Notes Chapter 1 (Introduction to Formal Method)

# data[].attributes.body
WAN NUR AFIQAH BINTI ZULKEFLI
D20191089434

# data[].attributes.headline
REFLECTION CHAPTER 1 (NUR FATINI QISTINA)

# data[].attributes.subject
REFLECTION CHAPTER 1 (NUR FATINI QISTINA)

# data[].attributes.headline
Reflection chapter 1 Muhammad Fazyrul bin Faizalizal (D20201092334)

# data[].attributes.subject
Reflection chapter 1 Muhammad Fazyrul bin Faizalizal (D20201092334)

# data[].attributes.body
Defination
-Mathematical strategies and tools for specifying, designing, and verifying software and hardware systems.

why formalize
-Enhance precision and eliminate faults.
-Avoid ignoring essential concerns.

why not formalize
-The emphasis must be on a consistent, correct model.
-Expensive and impractical.
-A really unusual approach

formal specification method
-Formal specifications – high-level behaviours + system attributes: algebraic semantic and temporal logic models
-Formal proofs are a crucial component of the specification and provide a thorough explanation for the system's validity.
-Model checking is a technique that uses a finite model of a system to validate the required attributes in the model: temporal model checking and automaton model checking
-Abstraction entails representing a programme using a smaller model that is simple and ignores extraneous information.

limitation to fm
-The developer must have strong mathematics skills.
-Specifications cannot be guaranteed to be complete.
-Never make anything 100 percent secure.

# data[].attributes.headline
REFLECTION NOTES ON CHAPTER 1 (INTRO OF FORMAL METHOD)

# data[].attributes.subject
REFLECTION NOTES ON CHAPTER 1 (INTRO OF FORMAL METHOD)

# data[].attributes.body
NOR SHEILA BINTI NURDIN D20201094666

# data[].attributes.headline
Reflection Chapter 1 - ILIYA PATHIHA BINTI MOHAMAD PAUZI (D20182086280)

# data[].attributes.subject
Reflection Chapter 1 - ILIYA PATHIHA BINTI MOHAMAD PAUZI (D20182086280)

# data[].attributes.body
FATIN NURSYAFAWANI BT MD RASHID
D20201092350

# data[].attributes.body
Nazifa Nawwarah binti Kamarudin
D20182086304

# data[].attributes.body
NAJWA AIMAN BINTI MOHAMAD SOFI
D20182086294

# data[].attributes.headline
Refection Chapter 1 (Introduction to Formal Method)- MOHD. AIMAN BIN NASIB D20201092309

# data[].attributes.subject
Refection Chapter 1 (Introduction to Formal Method)- MOHD. AIMAN BIN NASIB D20201092309

# data[].attributes.body
“  Formal methods are mathematical approaches to software and system development which support the rigorous specification, design and verification of computer systems.”

What Are Formal Methods
Formal methods refers to a variety of mathematical modeling techniques that are applicable to computer system design.

They include activities such as system specification, specification analysis and proof, transformational development, and program verification.

Seven Myths of Formal Methods
1.Formal methods can guarantee that software is perfect.

2.Work by proving that programs are correct.

3.Only highly critical systems benefit from their use.

4.They involve complex math.

5.They increase the cost of development.

6.They are incomprehensible to clients.

7.Nobody uses them for real projects.

Advantages of Formal Methods
Formal methods offer additional benefits outside of provability, and these benefits do deserve some mention. However, most of these benefits are available from other systems, and usually without the steep learning curve that formal methods require.

# data[].attributes.headline
MES3033 W3 CHAP2 VIENNA DEVELOPMENT MODEL-VDM

# data[].attributes.subject
MES3033 W3 CHAP2 VIENNA DEVELOPMENT MODEL-VDM

# data[].attributes.body
NOR SHEILA BINTI NURDIN
D20201094666

# data[].attributes.headline
Reflection Chapter 1 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.subject
Reflection Chapter 1 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.headline
Reflection Chapter 2 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.subject
Reflection Chapter 2 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.body
ANIS RUSZANNA BINTI ROSLI
D20201092317

# data[].attributes.headline
Reflection Notes Chapter 2 - VIENNA DEVELOPMENT MODEL (VDM)

# data[].attributes.subject
Reflection Notes Chapter 2 - VIENNA DEVELOPMENT MODEL (VDM)

# data[].attributes.body
WAN NUR AFIQAH BINTI ZULKEFLI
D20191089434

# data[].attributes.body
KHAIRIL AMIR BIN ZAKARIA
D20201092304

# data[].attributes.body
NUR FATIHAH IZZATI BINTI MOHD HAIRUNNIZAM
D20201092291

# data[].attributes.headline
Reflection Notes Chapter 2(Vienna Development Model)

# data[].attributes.subject
Reflection Notes Chapter 2(Vienna Development Model)

# data[].attributes.body
SHARULAZNIE BIN IBRAHIM(D20191086973)

# data[].attributes.body
CHIN GUI XING
D20201092355

# data[].attributes.headline
Reflection Chapter 2 - MUHAMAD FITRY SYAHIR BIN MOHD AZHAR (D20201092320)

# data[].attributes.subject
Reflection Chapter 2 - MUHAMAD FITRY SYAHIR BIN MOHD AZHAR (D20201092320)

# data[].attributes.body
NUR AFIQAH DAYANA BINTI MOHAIRI - D20201094873

# data[].attributes.body
muhammad aiman bin abd rashid
d20201092324

# data[].attributes.body
NAJWA AIMAN BINTI MOHAMAD SOFI
D20182086294

# data[].attributes.body
NURUL SHAFIQAH BINTI GAJALI
D20201092331

# data[].attributes.body
WAN NURAISHAH BNTI WAN ZULLKEFLI D20201092329

# data[].attributes.body
Nur Fatini Qistina binti Mohd Zaini
D20201092303

# data[].attributes.body
MUHAMMAD AIMAN BIN SAIFUL BAHRIN
D20201092311

# data[].attributes.body
JUNIER JEROME JAMES GOSUTI
D20201094948

# data[].attributes.body
MOHD. AMAN BIN NASIB
D20201092309

# data[].attributes.body
AMMAR IRFAN BIN ZAKARIA
D20201094846

# data[].attributes.body
FATIN NURSYAFAWANI BINTI MD RASHID
D20201092350

# data[].attributes.body
NAZIFA NAWWARAH BINTI KAMARUDIN
D20182086304

# data[].attributes.body
ILIYA PATHIHA BINTI MOHAMAD PAUZI
D20182086280

# data[].attributes.attachment_link.title
Brainstorm Mind Map Language Macro Skills

# data[].attributes.headline
REFLECTION ON CHAP 3 : INTRODUCTION TO THE Z FORMAL SPECIFICATIONS LANGUAGE (WEEK 4) -BY NOR SHEILA BINTI NURDIN 

# data[].attributes.subject
REFLECTION ON CHAP 3 : INTRODUCTION TO THE Z FORMAL SPECIFICATIONS LANGUAGE (WEEK 4) -BY NOR SHEILA BINTI NURDIN 

# data[].attributes.body
NOR SHEILA BINTI NURDIN (D20201094666)

# data[].attributes.headline
Reflection Chapter 3 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.subject
Reflection Chapter 3 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.body
ILIYA PATHIHA BINTI MOHAMAD PAUZI
D20182086280

# data[].attributes.body
NUR FATIHAH IZZATI  BINTI MOHD HAIRUNNIZAM
D20201092291

# data[].attributes.attachment_link.title
Chapter 3 - Z Formal Specifications Language

# data[].attributes.body
CHIN GUI XING
D20201092355

# data[].attributes.body
ANIS RUSZANNA BINTI ROSLI D20201092317

# data[].attributes.body
WAN NUR AFIQAH BINTI ZULKEFLI
D20191089434

# data[].attributes.body
NUR AFIQAH DAYANA BINTI MOHAIRI (D20201094873)

# data[].attributes.body
JUNIER JEROME JAMES GOSUTI
D20201094948

# data[].attributes.body
WAN NURAISHAH BINTI WAN ZULLKEFLI
D20201092329

# data[].attributes.body
NUR FATINI QISTINA MOJD ZAINI
D20201092303

# data[].attributes.body
NUR FATINI QISTINA BINTI MOHD ZAINI
D20201092303

# data[].attributes.body
NAJWA AIMAN BINTI MOHAMAD SOFI
D20182086294

# data[].attributes.body
NAJWA AIMAN BINTI MOHAMAD SOFI
D20182086294

# data[].attributes.body
CHIN GUI XING
D20201092355

# data[].attributes.body
WAN NURAISHAH BINTI WAN ZULLKEFLI
D20201092329

# data[].attributes.body
WAN NUR AFIQAH BINTI ZULKEFLI
D20191089434

# data[].attributes.headline
Reflection Chapter 4 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.subject
Reflection Chapter 4 NUREESA BINTI ZAIDI D20201092296

# data[].attributes.headline
Reflection Chapter 4 ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.subject
Reflection Chapter 4 ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.headline
Reflection Chapter 4 ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.subject
Reflection Chapter 4 ANIS RUSZANNA BINTI ROSLI (D20201092317)

# data[].attributes.body
NUR FATIHAH IZZATI BINTI MOHD HAIRUNNIZAM
D20201092291

# data[].attributes.body
WAN NUR AFIQAH BINTI ZULKEFLI
D20191089434

# data[].attributes.body
NUR FATIHAH IZZATI BINTI MOHD HAIRUNNIZAM
D20201092291

# data[].attributes.headline
Reflection Note Chapter 4 Formal Logic Quantifier Predicates and Validity (W5)

# data[].attributes.subject
Reflection Note Chapter 4 Formal Logic Quantifier Predicates and Validity (W5)

# data[].attributes.body
NOR SHEILA BINTI NURDIN
(D20201094666)

# data[].attributes.headline
REFLECTION ON CHAPTER 5 FIRST ORDER LOGIC MES3033 WEEK6

# data[].attributes.subject
REFLECTION ON CHAPTER 5 FIRST ORDER LOGIC MES3033 WEEK6

# data[].attributes.body
NOR SHEILA BINTI NURDIN
(D20201094666)