# data[].attributes.headline
nur farishya elia binti norhaili d20202097399 exercise

# data[].attributes.subject
nur farishya elia binti norhaili d20202097399 exercise

# data[].attributes.headline
nur farishya elia binti norhaili d20202097399 exercise 

# data[].attributes.subject
nur farishya elia binti norhaili d20202097399 exercise 

# data[].attributes.headline
nur farishya elia binti norhaili d20202097399

# data[].attributes.subject
nur farishya elia binti norhaili d20202097399

# data[].attributes.headline
nur farishya elia binti norhaili d20202097399 notes 

# data[].attributes.subject
nur farishya elia binti norhaili d20202097399 notes 

# data[].attributes.headline
Nur Farishya Elia Binti Norhaili d20202097399 Notes 

# data[].attributes.subject
Nur Farishya Elia Binti Norhaili d20202097399 Notes 

# data[].attributes.body
week 5

# data[].attributes.body
week 4

# data[].attributes.body
In week 3 lecture, I learn about VDM. There are two type of VDM used in Formal Method which is VDM-SL and VDM++. Dr Hafizul explains the details and simplified it by drawing a mind map. In this week lecture, I also learn about Z-Notation which pronounced as Zed-Notation. Z-Notation is a formal specification language used to describe and modeling computing system. To understand it more, we try to solve a problem using Z-Notation. The format of the notation are quite easy if we understand the symbols and the notations. Overall, my understanding about week 3 lecture are at 60% while the other 40% are the thing I need to revise from the notes given in the MyGuru.

# data[].attributes.headline
Chapter 3 - Z Formal Specification Language

# data[].attributes.subject
Chapter 3 - Z Formal Specification Language

# data[].attributes.body
Here's my note for Chapter 3

# data[].attributes.body
here's my note for Chapter 2

# data[].attributes.headline
MUHAMAD AZIM BIN BAHARUDIN (D20202097268)

# data[].attributes.subject
MUHAMAD AZIM BIN BAHARUDIN (D20202097268)

# data[].attributes.body
What I've learn in a first week is formal method, Formal method is a design that we use a math model or logic for doing specifications and verification. Formal method use B, Z, VDM and Larc.

# data[].attributes.headline
Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 3

# data[].attributes.subject
Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 3

# data[].attributes.headline
Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 2

# data[].attributes.subject
Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 2

# data[].attributes.body
For week 3, I have learnt about two topics in Formal Method. First of all, I have studied about Venn Development Model which were the main topic of chapter 2. In chapter 2, VDM has two languages, VDM-SL and VDM++. VDM-SL is a structured language whereas VDM++ is object-oriented and is an extended form. VDM is being used in order to remove incompleteness/ambiguity. Structuring in VDM-SL is divided into 4 main types, name module(name-syntax), importing(keywords), importing signature(specific type), exporting internal structure. Other than that, VDM-SL has pre and post condition to determine the implicit function. VDM++ has been divided into three main types which would be class(keywords), inheritance like superclass/subclass and access modifier. Lastly, both VDM-SL and VDM++ has no predetermined number/real numbers.

# data[].attributes.body
October 27, 2022

# data[].attributes.body
Hi. My name is Michael Jr, I am from Sabah even I don't appear like a sabahan but trust me, I am sabahan. My hobby mostly consist of playing sports such as Futsal, Basketball and Badminton. I like to add that I'm not that good in either sports, poor me. However, currently I am in my fourth semester for Software Engineering programme For last week class, which is on Thursday, precisely on October 27, 2022, we learned about Formal Methods. Formal methods may be thought of as a rigorous, mathematical and logical-based development procedure. Here's my note for last week's class:

# data[].attributes.body
Notes chapter 1

# data[].attributes.headline
NURUL IZZAH BINTI SAHAILANI D20202096001

# data[].attributes.subject
NURUL IZZAH BINTI SAHAILANI D20202096001

# data[].attributes.body
This is my notes from last week lecture

# data[].attributes.body
Name : Nur Fadhilah binti Arsad
Nickname: Fadhilah
Semester : 4
Course : AC10 -software engineering-
Last education: STPM
Hometown: Klang Selangor

# data[].attributes.headline
NURUL IZZAH BINTI SAHAILANI D20202096001

# data[].attributes.subject
NURUL IZZAH BINTI SAHAILANI D20202096001

# data[].attributes.body
Hi. My name is Nurul Izzah binti Sahailani. You can call me Izzah. I’m from Sepang. And I currently staying at Taman U. I’m taking Ac10 (Bachelor in Software Engineering). I was from Universiti Selangor and I took Diploma in Information Technology. My hobby is singing and sightseeing

# data[].attributes.body
Name: Li junxian

Nickname: Li

Hometown: china  shanxi

Course: AC10- Software

Engineering

Semester: 4

Hobby:playing basketball   piano

I am very sorry for coming to school late because of my visa problem

Nice to know you guys

# data[].attributes.body
Name：Zhang Kaixing
Matric No：D20202097387
Semester：4
Course：Bachelor of Software Engineering
（Educational Software）AC10

Because I was an international student, I missed a class last week because I didn't arrive in Malaysia in time due to visa problems.

# data[].attributes.body
Name: Miao Linyi
Student ID: D20202097379
The fourth semester

Notes for the week2 and me

# data[].attributes.body
week2- note

# data[].attributes.body
Salam and hi everyone.
Name: Nur Alia Binti Awang
Nickname: Alia
Hometown: Sg.Petani,Kedah
Course: AC10-Software Engineering
Semester:4
Hobby: watching dramas

# data[].attributes.headline
NUR NADIRA HUDA BINTI HASSAN (D20202097409)

# data[].attributes.subject
NUR NADIRA HUDA BINTI HASSAN (D20202097409)

# data[].attributes.headline
NUR NADIRA HUDA BINTI HASSAN (D20202097409)

# data[].attributes.subject
NUR NADIRA HUDA BINTI HASSAN (D20202097409)

# data[].attributes.body
Name : Nur Nadira Huda binti Hassan

Nickname : Nadira

Course : Software Engineering (AC10)

Semester : 4

Hometown: Besut, Terengganu

Hobby : Read comics, watch anime, play badminton

# data[].attributes.headline
Ainin Syafrina binti Azlaini (D20202097403)

# data[].attributes.subject
Ainin Syafrina binti Azlaini (D20202097403)

# data[].attributes.body
NOTE FOR WEEK 2

# data[].attributes.headline
Fatin Farahani Binti Wahab D20202097589 

# data[].attributes.subject
Fatin Farahani Binti Wahab D20202097589 

# data[].attributes.headline
Fatin Farahani Binti Wahab D20202097589 

# data[].attributes.subject
Fatin Farahani Binti Wahab D20202097589 

# data[].attributes.body
My Notes

# data[].attributes.headline
Fatin Farahani Binti Wahab  D20202097589

# data[].attributes.subject
Fatin Farahani Binti Wahab  D20202097589

# data[].attributes.body
Nickname : Farah
Semester : 4
Course     : ISM Kejuruteraan Perisian
Hobby      : Watching movie and drama
Quotes     : The bad news is time flies. The good news is you're the pilot.

Reflection for week 2,
What have I learned is introduction of formal methods. Formal methods is a foundation for designing safety critical system and describing for program development. Formal methods divide by two, formal specification and good specification. There are more elaborations about what I have learned weeks ago at my notes. By the way, I enjoy the class.

# data[].attributes.headline
Ainin Syafrina binti Azlaini (D20202097403) 

# data[].attributes.subject
Ainin Syafrina binti Azlaini (D20202097403) 

# data[].attributes.body
NOTE FOR WEEK 2

# data[].attributes.headline
My Notes for week 2 (Nur Farishya Elia Binti Norhaili D20202097399)

# data[].attributes.subject
My Notes for week 2 (Nur Farishya Elia Binti Norhaili D20202097399)

# data[].attributes.headline
Ainin Syafrina binti Azlaini (D20202097403)

# data[].attributes.subject
Ainin Syafrina binti Azlaini (D20202097403)

# data[].attributes.body
Assalamualaikum & hi everyone!

Name: Ainin Syafrina binti Azlaini
Nickname: Ainin
Hometown: Temerloh, Pahang
Course: AC10- Software Engineering
Semester: 4
Hobby: playing with my cats, watching k-drama

Nice to know you guys!

# data[].attributes.headline
NUR FARISHYA ELIA BINTI NORHAILI D20202097399

# data[].attributes.subject
NUR FARISHYA ELIA BINTI NORHAILI D20202097399

# data[].attributes.body
My name is Nur Farishya Elia Binti Norhaili. I am originally from Melaka. I am currently studying in Bachelor Degree of Software Engineering (Ac10) semester 4. Before i entering Upsi for my degree, i studying STPM at Malacca High School. I like reading and sleeping in my leisure time. Nice to meet you guys :) !!

# data[].attributes.body
Name : Elisaester Yasun
Matric No. : D20202097401
Current semester : Semester 4
Course : Bachelor of Software Engineering (Educational Software)(Hons) | AC10
Educational background : STPM(sastera)

Reflection :
From last week class, I learn about what is method formals. Formal methods are techniques used to model complex system as mathematical entities.
From what I learn,  formal methods can be a foundation for designing safety critical systems and complex systems. It's also can provide support for program development.
I also learn about the formal methods model. It is an approach to Software Engineering that applies mathematical methods or techniques to the process of developing complex software systems.

# data[].attributes.attachment_caption
Assalammualaikum Dr. My name is Nurizyan Syahirah Binti Hamran. And now is on semester 4. My course is AC10- Software Engineering 

# data[].attributes.headline
Nurizyan Syahirah Binti Hamran D20202097611

# data[].attributes.subject
Nurizyan Syahirah Binti Hamran D20202097611

# data[].attributes.body
For my reflection about formal methods is I understand that actually formal methods use a lot of math and logic. It also use specification and verification. and as i know formal methods can be a foundation for designing safety critical systems and describing complex systems.

# data[].attributes.body
last week, I have studied this subject quite satisfactorily. I try to understand what is learned. What I learned in this subject is about the intro of formal methods.

In addition, this subject also focuses on mathematical techniques for the specification, development, and verification of software and hardware systems.

# data[].attributes.body
Name: Muhammad Amzar 'Ayisy Bin Mat Fauzi
Matric No: D20202096003
Semester: 4
Course: AC10 - Software Engineering
Last Education: STAM

Reflection:

For the last week, what I learned is the introduction of formal methods. Formal method using variety maths and logic to build software and hardware systems. Formal method also used to capture pre theory notation. There are two types of formal methods which are formal specification and good verification. Formal specification is abstraction of a collection for properties that includes function, non-functional, services and protocol. Meanwhile, good verification needs more stages like adequate at first and it follows with internally consistent, unambiguous and complete. Good verification is also more precise than a computer program that has a logical problem which needs lexical analysis to solve the problem. I’m also learning why people don’t formalise because they use machine languages and correct methods like try and error processes or chase for time. After that, what I learned is that formal specification languages have two types. First model checking and the second is the theorem process. That’s all that I understood from the last lecture.

# data[].attributes.headline
Zairie Aiman Bin Mohd Hussin (D20202097608)

# data[].attributes.subject
Zairie Aiman Bin Mohd Hussin (D20202097608)

# data[].attributes.body
Name: Zairie Aiman Bin Mohd Hussin
Matric no: D20202097608
Semester: 4
Course: Software Engineering (Educational Software)

Reflection:
Last week, I have learned the introduction for Method Formal. From what I understand, formal method is a way to takes the specification and converts it into its mathematical equaivalent. Formal methods also a foundation for designing safety critical systems for aerospace, automotive, health care, railway and more. There are several types of formal specifications which are Z, B, VDM, Larch.

# data[].attributes.headline
Nik Mohamad Hanif Fakhruddin Bin Mohamed Ghazali (D20202097603)

# data[].attributes.subject
Nik Mohamad Hanif Fakhruddin Bin Mohamed Ghazali (D20202097603)

# data[].attributes.body
Name : Nik mohamad Hanif Fakhruddin Bin Mohamed Ghazali
Matric No : D20202097603
Semester : 4
Course : (AC10)
Last Education : STPM

Reflection :

For the last week class I understand well and know what the introduction to the formal method is after it was explained well and clearly by Dr. Hafizul. What I know about the introduction of formal method through Dr. Hafizul's explanation is formal methods use mathematical proof as a complement to system testing in order to ensure correct behavior. Formal methods use lot of mathematical and logic in order to make specification and also verification.

Furthermore formal methods are mathematical approaches to software and system development which support the rigorous specification, design and verification of computer system. Formal methods use machine language and formal methods continuation use Techniques and tools based on mathematics and formal logic which is Can assume various forms and levels of rigor like example, informal,  low, medium and high. that's the little note that I remember from the class last week.

# data[].attributes.headline
Muhammad Lukman Nur Hakim Bin Mohd Nor (D20202097411)

# data[].attributes.subject
Muhammad Lukman Nur Hakim Bin Mohd Nor (D20202097411)

# data[].attributes.body
Name : Muhammad Lukman Nur Hakim Bin Mohd Nor
Matric No : D20202097411
Semester : 4
Course : (AC10)
Last Education : STPM

Reflection :

The last week i learn about introduction of method formal . what i learn is that method formal based on mathematical approach and use  a lot of mathematical properties. Method formal also use a lot of mathematical and logic also using a mantic to capture theoric notation.

method formal can be foundation for designing safety critical system, describing complex system and support for program deveploment. that all what i can remember about last week class.

# data[].attributes.headline
MUHAMMAD ZAKUAN BIN ZULKEFLI (D20202096012)

# data[].attributes.subject
MUHAMMAD ZAKUAN BIN ZULKEFLI (D20202096012)

# data[].attributes.body
Name: Muhammad Zakuan Bin Zulkefli
Matric No.: D20202096012
Faculty: FSKIK
Semester: 4
Course: (AC10) Bachelor of Software Engineering (Educational Software) With Honour
Last Education: STPM

Reflection:

For week two lecture which is Introduction to Formal Method, I'm still trying to understanding it. Dr Hafizul doing a great job explaining the topic with simple mind map that shows the flow and branch of the content that include in the Formal Method study. Overall, I still manage to get hold of myself to learn this subject.

# data[].attributes.headline
Kandhan A/L R.Pakerisamy (D20202096002) - week 2 reflective

# data[].attributes.subject
Kandhan A/L R.Pakerisamy (D20202096002) - week 2 reflective

# data[].attributes.body
Behalf of my part for this reflective writing based on week 2 lesson are I have learned introduction to formal method. In this introduction, I am exposed to the process of System Development Lifecycle, thus about the math and logic.  Formal methods initially divided into two parts which is called a formal specification and good specification. In simple words, formal specification is just a standard math approach whereas good specification are more precise which deals with the logical problems of a computer program. Good specification are more precise as it pass through several stages which will be discussed in detail in the upcoming chapters. Other than that, formal specification languages that are mainly used are Z, B, VDM, Larch. I have also been briefed about the reactive system model which are divided mainly into two (Dynamic and Static).  Last but not least, conceptual modelling was also been briefed in the class. Conceptual modelling is used to capture the model domain activities. Requirements modeling language used for the conceptual modelling are Telos and RML.

# data[].attributes.body
Name       : Kandhan A/L R.Pakerisamy
Matric      : D20202096002
Course     : AC-10 Software Engineering
Semester : 4
Faculty     : FSKIK
Educational Background: Diploma in Digital Technology
Skills : Computer hardware and software knowledge, internet security, troubleshooting operating system, MySql, Javascript, C++, HTML.

# data[].attributes.body
D20202095995

My name is Muhammad Irfan Iman and im in AC10 student for semester 4,

For my reflective writing or what ive learned in this week's class is formal method is a system design that uses mathematical or logic models in order to do specification and verification. Formal method uses machine language that includes Z,B,VDM and Larch