<?xml version="1.0"?>
<rss version="2.0">
   <channel>
      <title>MES3033 Group B by Hafizul Hanafi</title>
      <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh</link>
      <description></description>
      <language>en-us</language>
      <pubDate>2022-10-27 00:57:36 UTC</pubDate>
      <lastBuildDate>2025-11-08 16:26:27 UTC</lastBuildDate>
      <webMaster>hello@padlet.com</webMaster>
      <image>
         <url></url>
      </image>
      <item>
         <title>Muhammad Irfan Iman bin Razali</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2358441317</link>
         <description><![CDATA[<div>D20202095995<br><br>My name is Muhammad Irfan Iman and im in AC10 student for semester 4,&nbsp;<br><br>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<br><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-10-27 04:30:25 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2358441317</guid>
      </item>
      <item>
         <title>Kandhan A/L R.Pakerisamy (D20202096002)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2359391301</link>
         <description><![CDATA[<div>Name&nbsp; &nbsp; &nbsp; &nbsp;: Kandhan A/L R.Pakerisamy<br>Matric&nbsp; &nbsp; &nbsp; : D20202096002<br>Course&nbsp; &nbsp; &nbsp;: AC-10 Software Engineering<br>Semester : 4<br>Faculty&nbsp; &nbsp; &nbsp;: FSKIK<br>Educational Background: Diploma in Digital Technology<br>Skills         : Computer hardware and                software knowledge, internet security, troubleshooting operating system, MySql, Javascript, C++, HTML.<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/268560737/123107a1103a255528b64f4bbf45cda0/Kandhan_Selfie.jpg" />
         <pubDate>2022-10-27 16:43:50 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2359391301</guid>
      </item>
      <item>
         <title>Kandhan A/L R.Pakerisamy (D20202096002) - week 2 reflective</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2359394795</link>
         <description><![CDATA[<div>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.&nbsp; 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).&nbsp; 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.</div>]]></description>
         <enclosure url="" />
         <pubDate>2022-10-27 16:46:03 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2359394795</guid>
      </item>
      <item>
         <title>MUHAMMAD ZAKUAN BIN ZULKEFLI (D20202096012)</title>
         <author>d096012</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362765517</link>
         <description><![CDATA[<div>Name: Muhammad Zakuan Bin Zulkefli<br>Matric No.: D20202096012<br>Faculty: FSKIK<br>Semester: 4<br>Course: (AC10) Bachelor of Software Engineering (Educational Software) With Honour<br>Last Education: STPM<br><br>Reflection:<br><br>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.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1642070762/5169f0fb4825b795734ce6538fa33d59/padlet_image_picker_file_6d8245c6_da6f_462c_89bb_ba5e7d649967.jpg" />
         <pubDate>2022-10-31 05:22:14 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362765517</guid>
      </item>
      <item>
         <title>Muhammad Lukman Nur Hakim Bin Mohd Nor (D20202097411)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362859464</link>
         <description><![CDATA[<div>Name : Muhammad Lukman Nur Hakim Bin Mohd Nor<br>Matric No : D20202097411<br>Semester : 4<br>Course : (AC10)<br>Last Education : STPM<br><br>Reflection :<br><br>The last week i learn about introduction of method formal . what i learn is that method formal based on mathematical approach and use&nbsp; a lot of mathematical properties. Method formal also use a lot of mathematical and logic also using a mantic to capture theoric notation.&nbsp;<br><br>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. </div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868290843/433d065e11e21489d7a77f0f88df3459/padlet1.jpg" />
         <pubDate>2022-10-31 07:01:52 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362859464</guid>
      </item>
      <item>
         <title>Nik Mohamad Hanif Fakhruddin Bin Mohamed Ghazali (D20202097603)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362941629</link>
         <description><![CDATA[<div>Name : Nik mohamad Hanif Fakhruddin Bin Mohamed Ghazali<br>Matric No : D20202097603<br>Semester : 4<br>Course : (AC10)<br>Last Education : STPM<br><br>Reflection :<br><br>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.<br><br>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,&nbsp; low, medium and high. that's the little note that I remember from the class last week. <br><br><br></div><div><br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868374246/cb748841177365774acb839bd5e7d705/WhatsApp_Image_2022_10_31_at_3_15_59_PM.jpeg" />
         <pubDate>2022-10-31 08:26:23 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2362941629</guid>
      </item>
      <item>
         <title>Zairie Aiman Bin Mohd Hussin (D20202097608)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2363320369</link>
         <description><![CDATA[<div>Name: Zairie Aiman Bin Mohd Hussin<br>Matric no: D20202097608<br>Semester: 4<br>Course: Software Engineering (Educational Software)<br><br>Reflection:<br>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. </div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1753535816/e61c7feee57d0339909a5146490115cf/photo_2022_04_06_19_21_00.jpg" />
         <pubDate>2022-10-31 13:43:22 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2363320369</guid>
      </item>
      <item>
         <title></title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2365196822</link>
         <description><![CDATA[<div>Name: Muhammad Amzar 'Ayisy Bin Mat Fauzi<br>Matric No: D20202096003<br>Semester: 4<br>Course: AC10 - Software Engineering<br>Last Education: STAM<br><br>Reflection:<br><br><br>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.<br><br></div><div><br><br></div><div><br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1866963114/66bc76f07d82108a331659f88270f0ad/WhatsApp_Image_2022_11_01_at_23_58_23.jpg" />
         <pubDate>2022-11-01 16:10:30 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2365196822</guid>
      </item>
      <item>
         <title>Faiz Bin Abdul Ghani (D20202096026)</title>
         <author>faizsmart99</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2365775093</link>
         <description><![CDATA[<div>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.&nbsp;<br><br>In addition, this subject also focuses on mathematical techniques for the specification, development, and verification of software and hardware systems.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/343490952/859b0beb2ba1b73a44b1767225b8fb2a/IMG_20221102_074049.jpg" />
         <pubDate>2022-11-02 00:28:32 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2365775093</guid>
      </item>
      <item>
         <title>Nurizyan Syahirah Binti Hamran D20202097611</title>
         <author>5svjw8cwpv</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366511347</link>
         <description><![CDATA[<div><br>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.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461679/fabb22c56725b7e98f7e1b230576857c/5DB723C1_EAF6_4ED1_B810_7B06A365DEC9.jpg" />
         <pubDate>2022-11-02 11:48:02 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366511347</guid>
      </item>
      <item>
         <title>ELISAESTER YASUN | D20202097401</title>
         <author>d097401</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366535370</link>
         <description><![CDATA[<div><br>&nbsp;Name : Elisaester Yasun<br>&nbsp;Matric No. : D20202097401<br>&nbsp;Current semester : Semester 4<br>&nbsp;Course : Bachelor of Software Engineering (Educational Software)(Hons) | AC10<br>&nbsp;Educational background : STPM(sastera)&nbsp;<br><br>Reflection :<br>&nbsp;From last week class, I learn about what is method formals. Formal methods are techniques used to model complex system as mathematical entities.<br>&nbsp;From what I learn,&nbsp; formal methods can be a foundation for designing safety critical systems and complex systems. It's also can provide support for program development.<br>&nbsp;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.&nbsp;</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1204532086/f9d78036df6bd049c00edb7c220c55e4/padlet_image_picker_file_182abf9c_6986_4f52_b48a_0305dae2bf08.jpg" />
         <pubDate>2022-11-02 12:07:21 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366535370</guid>
      </item>
      <item>
         <title>NUR FARISHYA ELIA BINTI NORHAILI D20202097399</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366730035</link>
         <description><![CDATA[<div>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 :) !!</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/cf1dde06703a62ee932caf2d8856c135/06B1C793_19B7_45F9_8472_B22AFC51CC50.jpeg" />
         <pubDate>2022-11-02 14:03:41 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366730035</guid>
      </item>
      <item>
         <title>Ainin Syafrina binti Azlaini (D20202097403)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366733636</link>
         <description><![CDATA[<div>Assalamualaikum &amp; hi everyone!<br><br>Name: Ainin Syafrina binti Azlaini<br>Nickname: Ainin<br>Hometown: Temerloh, Pahang<br>Course: AC10- Software Engineering<br>Semester: 4<br>Hobby: playing with my cats, watching k-drama<br><br>Nice to know you guys!<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871468312/0dcbe50e50355b762448918b0227ec1f/IMG_4584.jpg" />
         <pubDate>2022-11-02 14:05:29 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366733636</guid>
      </item>
      <item>
         <title>My Notes for week 2 (Nur Farishya Elia Binti Norhaili D20202097399)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366739405</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/7531a797c919db8b4058c196517219c8/BA086952_7DA3_48C4_A890_231FF692972D.png" />
         <pubDate>2022-11-02 14:08:29 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366739405</guid>
      </item>
      <item>
         <title>Ainin Syafrina binti Azlaini (D20202097403) </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366757831</link>
         <description><![CDATA[<div>NOTE FOR WEEK 2</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871468312/768d5bd7bd06a8bd27cc40e3c3d077be/20221102_214144.jpg" />
         <pubDate>2022-11-02 14:18:12 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366757831</guid>
      </item>
      <item>
         <title>Fatin Farahani Binti Wahab  D20202097589</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366758444</link>
         <description><![CDATA[<div>Nickname : Farah<br>Semester : 4<br>Course&nbsp; &nbsp; &nbsp;: ISM Kejuruteraan Perisian<br>Hobby&nbsp; &nbsp; &nbsp; : Watching movie and drama<br>Quotes&nbsp; &nbsp; &nbsp;: The bad news is time flies. The good news is you're the pilot.&nbsp;<br><br>Reflection for week 2,<br>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. <br><br><br><br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871467533/50771a69415bb9dd1d4de13337806f44/IMG_20221030_173003_533.jpg" />
         <pubDate>2022-11-02 14:18:32 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366758444</guid>
      </item>
      <item>
         <title>Fatin Farahani Binti Wahab D20202097589 </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366765964</link>
         <description><![CDATA[<div>My Notes<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871467533/0bc75fe2ea991be36c4df3e78aa73c17/IMG_20221102_221935_499.jpg" />
         <pubDate>2022-11-02 14:22:22 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366765964</guid>
      </item>
      <item>
         <title>Fatin Farahani Binti Wahab D20202097589 </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366768582</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871467533/76b498eb620eab03c5f33cb9baedcefd/IMG_20221102_221943_604.jpg" />
         <pubDate>2022-11-02 14:23:49 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366768582</guid>
      </item>
      <item>
         <title>Ainin Syafrina binti Azlaini (D20202097403)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366775753</link>
         <description><![CDATA[<div>NOTE FOR WEEK 2</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871468312/27b2f5fc5b8ca97f90467aed328ba1fe/20221102_214149.jpg" />
         <pubDate>2022-11-02 14:27:36 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366775753</guid>
      </item>
      <item>
         <title>Assalamualaikum and hi everyone. </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366786389</link>
         <description><![CDATA[<div>Name : Nur Nadira Huda binti Hassan</div><div>Nickname : Nadira</div><div>Course : Software Engineering (AC10)</div><div>Semester : 4</div><div>Hometown: Besut, Terengganu</div><div>Hobby : Read comics, watch anime, play badminton&nbsp;</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461551/88130c08309b710a9047c15ce7e50c52/080CD320_F81C_443A_95DE_91BE26DC5025.jpeg" />
         <pubDate>2022-11-02 14:33:27 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366786389</guid>
      </item>
      <item>
         <title>NUR NADIRA HUDA BINTI HASSAN (D20202097409)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366796267</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461551/87bf00fe5db5d42f80d332c02366b8e8/image.png" />
         <pubDate>2022-11-02 14:39:02 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366796267</guid>
      </item>
      <item>
         <title>NUR NADIRA HUDA BINTI HASSAN (D20202097409)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366802399</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461551/6636b09d1e0d3f97b8d32c3f30a1568c/image.png" />
         <pubDate>2022-11-02 14:42:17 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366802399</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author>alia325758</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366847105</link>
         <description><![CDATA[<div>Salam and hi everyone.<br>Name: Nur Alia Binti Awang<br>Nickname: Alia<br>Hometown: Sg.Petani,Kedah<br>Course: AC10-Software Engineering<br>Semester:4<br>Hobby: watching dramas</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1144668706/f43f17a6db49c62994f39532cb997d97/WhatsApp_Image_2022_11_02_at_23_02_44.jpeg" />
         <pubDate>2022-11-02 15:05:57 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366847105</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D2020209606</title>
         <author>alia325758</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366852912</link>
         <description><![CDATA[<div>week2- note</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1144668706/7b488416a74649f58937698f17c5a79d/mf_001.jpg" />
         <pubDate>2022-11-02 15:09:05 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366852912</guid>
      </item>
      <item>
         <title>hi</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366958130</link>
         <description><![CDATA[<div>Name: Miao Linyi<br>Student ID: D20202097379<br>The fourth semester<br><br>Notes for the week2 and me<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871637497/36cbff56d787ff35532a054e4d379790/F1CDB683_1D95_475E_A6E0_20F716864264.jpeg" />
         <pubDate>2022-11-02 16:06:44 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366958130</guid>
      </item>
      <item>
         <title>Zhang Kaixing （D20202097387）</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366991268</link>
         <description><![CDATA[<div>Name：Zhang Kaixing<br>Matric No：D20202097387<br>Semester：4<br>Course：Bachelor of Software Engineering<br>（Educational Software）AC10<br><br>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.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1646301953/ed9a5fea9a0e54ce6619c3b5ca16af88/8E255D57_7684_432F_AD54_8F3D44A6F0F1.jpeg" />
         <pubDate>2022-11-02 16:25:17 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2366991268</guid>
      </item>
      <item>
         <title>hollo everyone！</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367068151</link>
         <description><![CDATA[<div>Name: Li junxian</div><div>Nickname: Li</div><div>Hometown: china&nbsp; shanxi</div><div>Course: AC10- Software</div><div>Engineering</div><div>Semester: 4</div><div>Hobby:playing basketball &nbsp; piano&nbsp;</div><div><br></div><div>I am very sorry for coming to school late because of my visa problem</div><div><br></div><div>Nice to know you guys</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871524531/75ab3064a893f121cd953ec63d4ec22c/C73F4CF7_B721_4DB9_A5E4_B9D1CE5AE0D5.jpeg" />
         <pubDate>2022-11-02 17:10:13 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367068151</guid>
      </item>
      <item>
         <title>NURUL IZZAH BINTI SAHAILANI D20202096001</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367551975</link>
         <description><![CDATA[<div>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 </div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461235/245588d04b449cd7d62743f7841ad6d2/5A50D1EA_275C_44B2_893A_73ED1460AF58.jpeg" />
         <pubDate>2022-11-03 00:50:38 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367551975</guid>
      </item>
      <item>
         <title>NUR FADHILAH BINTI ARSAD (D20202096011)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367556841</link>
         <description><![CDATA[<div>Name : Nur Fadhilah binti Arsad<br>Nickname: Fadhilah<br>Semester : 4&nbsp;<br>Course : AC10 -software engineering-<br>Last education: STPM&nbsp;<br>Hometown: Klang Selangor<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1070122887/36476dc99caf617a57f1024ec34a7f20/IMG_20220916_121957_073.jpg" />
         <pubDate>2022-11-03 00:55:24 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367556841</guid>
      </item>
      <item>
         <title>NURUL IZZAH BINTI SAHAILANI D20202096001</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367557133</link>
         <description><![CDATA[<div>This is my notes from last week lecture</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461235/1c74ff0bf264145c3d7e6e81076189bf/E71D6978_671F_4787_8D1F_5C955345FE8E.jpeg" />
         <pubDate>2022-11-03 00:55:40 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367557133</guid>
      </item>
      <item>
         <title>NUR FADHILAH BINTI ARSAD (D20202096011)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367558081</link>
         <description><![CDATA[<div>Notes chapter 1</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1070122887/e84ede64709df9940e8c81772f7ffcd2/IMG20221103085226.jpg" />
         <pubDate>2022-11-03 00:56:33 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2367558081</guid>
      </item>
      <item>
         <title>Michael Jr | D20202095997</title>
         <author>d095997</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2368380998</link>
         <description><![CDATA[<div>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:</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1201298602/ac795dee597b042320c4c288dc4645ee/photo_2022_11_03_20_38_44.jpg" />
         <pubDate>2022-11-03 12:49:00 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2368380998</guid>
      </item>
      <item>
         <title>MES3033 - Chapter 1</title>
         <author>d095997</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2368383074</link>
         <description><![CDATA[<div>October 27, 2022</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1201298602/d910e124104afd65015787ccb7120581/photo_2022_11_03_20_32_55.jpg" />
         <pubDate>2022-11-03 12:50:20 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2368383074</guid>
      </item>
      <item>
         <title>Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 2</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2369556843</link>
         <description><![CDATA[<div>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.</div>]]></description>
         <enclosure url="" />
         <pubDate>2022-11-04 04:11:52 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2369556843</guid>
      </item>
      <item>
         <title>Kandhan A/L R.Pakerisamy(D20202096002) - WEEK 3 Reflection for Chapter 3</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2369562008</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1875156001/daa15e369f3e6d29ce0510d7b1cc7494/WhatsApp_Image_2022_11_04_at_12_17_23.jpeg" />
         <pubDate>2022-11-04 04:18:33 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2369562008</guid>
      </item>
      <item>
         <title>MUHAMAD AZIM BIN BAHARUDIN (D20202097268)</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2371048437</link>
         <description><![CDATA[<div>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.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1864461197/2992c8f9c58c47356d860dc00109514e/IMG_20221019_201255.jpg" />
         <pubDate>2022-11-05 13:19:26 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2371048437</guid>
      </item>
      <item>
         <title>Chapter 2 -VDM</title>
         <author>d095997</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2372793503</link>
         <description><![CDATA[<div>here's my note for Chapter 2</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1201298602/225183fec87aa5f2e4421be325fa812b/IMG_20221107_0001_1.png" />
         <pubDate>2022-11-07 10:06:07 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2372793503</guid>
      </item>
      <item>
         <title>Chapter 3 - Z Formal Specification Language</title>
         <author>d095997</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2372795254</link>
         <description><![CDATA[<div>Here's my note for Chapter 3</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1201298602/d15d51c9464f7783f4550d22623f91c0/IMG_20221107_0002_1.png" />
         <pubDate>2022-11-07 10:07:32 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2372795254</guid>
      </item>
      <item>
         <title></title>
         <author>d096012</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2373403256</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1642070762/ca648caa378b8c62c45a7d23fcefe707/padlet_image_picker_file_f46b32a5_87ee_42b2_ad25_ed61abd6ce00.jpg" />
         <pubDate>2022-11-07 16:23:17 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2373403256</guid>
      </item>
      <item>
         <title>Reflection (Week 3)</title>
         <author>d096012</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2373430039</link>
         <description><![CDATA[<div>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.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1642070762/6fc1e00c1386b8e39f76ae03d0ec2477/padlet_image_picker_file_b6a06045_24f1_4073_a51d_eff2bc178a6c.jpg" />
         <pubDate>2022-11-07 16:36:47 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2373430039</guid>
      </item>
      <item>
         <title>Reflection week 3</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2384178894</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1887333679/7855a93f25161b8ce42698984993baaf/asdasd.jpg" />
         <pubDate>2022-11-15 05:11:16 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2384178894</guid>
      </item>
      <item>
         <title>Reflection week 3</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2384179731</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1887333679/af9f98a7649e2bdb14d1c14d342e6def/WhatsApp_Image_2022_11_15_at_13_09_00.jpg" />
         <pubDate>2022-11-15 05:11:59 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2384179731</guid>
      </item>
      <item>
         <title>ELISAESTER </title>
         <author>d097401</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2392117562</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1204532086/7254e4a1621247c2788a57ad0893faca/padlet_image_picker_file_004646e8_4bd6_454e_988a_410668931d9e.jpg" />
         <pubDate>2022-11-21 06:18:13 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2392117562</guid>
      </item>
      <item>
         <title></title>
         <author>d097401</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2392119072</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1204532086/10fac11d5991833664f8690348d04a5a/padlet_image_picker_file_cee8d7fb_d261_4d42_9d2e_365a9bd280e0.jpg" />
         <pubDate>2022-11-21 06:20:02 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2392119072</guid>
      </item>
      <item>
         <title>Farah W3 - II </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2420211514</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871467533/b26e4ac1bcd572d8f73bb9a19cd9e482/IMG_20221214_153452_888.jpg" />
         <pubDate>2022-12-14 07:37:04 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2420211514</guid>
      </item>
      <item>
         <title>Farah W3 -I</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2420248957</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1871467533/51de7461a58e17c451c0471017df35ca/IMG_20221214_153452_350.jpg" />
         <pubDate>2022-12-14 08:22:53 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2420248957</guid>
      </item>
      <item>
         <title>Exercise 3.2</title>
         <author>d097401</author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2423175256</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1204532086/ae0381dd2eed22ed71a189dff59f19da/padlet_image_picker_file_24fba3c8_d648_49ef_a380_1d0c54d0d0bd.jpg" />
         <pubDate>2022-12-16 16:11:46 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2423175256</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D202020297606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449116608</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/b3e3abc3dfce53bda08d1f6c0dd06fd3/4_1_001.jpg" />
         <pubDate>2023-01-19 00:36:32 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449116608</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449118013</link>
         <description><![CDATA[<div>week 4</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/1601a7f746d73a60b293e9991243d8ba/4_2_001.jpg" />
         <pubDate>2023-01-19 00:38:43 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449118013</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449119278</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/9bc20bf6d7e1bd88487a3c8b55ff94fc/week3.jpg" />
         <pubDate>2023-01-19 00:40:27 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449119278</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449120521</link>
         <description><![CDATA[<div>week 5</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/94bffdbb8dd1fbcecb0245c16b32439d/week_5_001.jpg" />
         <pubDate>2023-01-19 00:42:19 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449120521</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449121373</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/061f4c613f381578b182c9bf58f76810/week_7_001.jpg" />
         <pubDate>2023-01-19 00:43:30 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449121373</guid>
      </item>
      <item>
         <title>NUR ALIA BINTI AWANG D20202097606</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449122380</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1868951887/91be44e0beed4d7366bef50e5a15f4f3/week_8_001.jpg" />
         <pubDate>2023-01-19 00:44:45 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2449122380</guid>
      </item>
      <item>
         <title>Nur Farishya Elia Binti Norhaili d20202097399 Notes </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452195959</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/839aa2ff59d1ed5331b7ca4997d963e7/266BAAC9_ACB7_4FA5_BD95_7D5B9961AB6E.jpeg" />
         <pubDate>2023-01-22 08:12:27 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452195959</guid>
      </item>
      <item>
         <title>nur farishya elia binti norhaili d20202097399 notes </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452196334</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/a46ec43155946788b014b0a38126213c/14E03D8F_666D_4A95_82DA_27F3D2946514.jpeg" />
         <pubDate>2023-01-22 08:14:10 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452196334</guid>
      </item>
      <item>
         <title>nur farishya elia binti norhaili d20202097399</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452196667</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/27ddcc65ce11f7f6ba477418af78d6b0/CF8F4809_8D00_4CDD_BD0F_1294D34ADA97.jpeg" />
         <pubDate>2023-01-22 08:15:53 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452196667</guid>
      </item>
      <item>
         <title>nur farishya elia binti norhaili d20202097399 exercise </title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452201203</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/907c3011d3aca9d2ed35aefe4162bd46/D389C382_2E91_48CE_A6AB_59ABEA5B579C.jpeg" />
         <pubDate>2023-01-22 08:32:12 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452201203</guid>
      </item>
      <item>
         <title>nur farishya elia binti norhaili d20202097399 exercise</title>
         <author></author>
         <link>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452201455</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1206850446/51aa2c07c8b1b124857e820740eacd39/9B3661CF_7CC5_4E37_9FEF_97804AFD04D6.jpeg" />
         <pubDate>2023-01-22 08:33:25 UTC</pubDate>
         <guid>https://padlet.com/hafizul2/a7y8iswfgqxcz2lh/wish/2452201455</guid>
      </item>
   </channel>
</rss>
