Posts

Course outcome for Formal methods in software engineering

  KARAKORAM INTERNATIONAL UNIVERSITY GILGIT NAME:   GHULAM MURTAZA KHAN SUBMITTED TO:   SIR, ASIF HUSSAIN REGISTRATION #:   2020-KIU-BS2075 SUBJECT: FORMAL METHODS IN SOFTWARE ENGINEERING Title:  Summarize the Objectives and Outcomes of the Formal Methods in Software Engineering Course . This course of formal methods in software engineering was a unique subject as compared to previous semesters subjects, it has been an a good learning journey. It has helped me to understand and apply formal methods in software development, fostering problem-solving skills, verification capabilities, effective communication, and risk mitigation strategies up-to a good point. Lets first discuss few things before jumping into the objective of the Formal Methods in Software Engineering course. When we talk about software engineering, it involves the design, development and maintenance of critical and complex systems. So why we should use Formal methods if we can develop a software using software engineerin
Post a Comment
Read more

Modeling Large Systems

Question#: Dear Students, As discussed in previous classes. Please search any five (5) well-known “System Design Models for the development of large-scale systems, so that we can easily follow any formal method to develop such an application. (As you know that we had discussed the well-known PSD model for your reference) To know more about the PSD model follow the link:  https://www.mdpi.com/2390492 Search any recent article for each System Design Model, which describes all about that model. Summarize each article that have you chosen. Provide a reference for each summarized article. Post your assignment on your publicly available source like had done for your previous assignment. Note:- It is necessary one model will best match for your previous assignment topic of developing DFD. PAPER:1 Title: Smart Parking System based on Improved OCR Model   Authors: Rami Bassam and Fars Samann   DOI:  10.1088/1757-899X/978/1/012007   Refence: https://iopscience.iop.org/article/10.1088/1757-899X/9
Post a Comment
Read more