tailieunhanh - Lecture Formal methods in software engineering: Introduction

After studying this chapter you will be able to understand: Instructor’s introduction, problems in software development, the major problems with informal specifications, formal methods for the problems, what are formal methods? three levels of formal methods,. | Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor Formal Methods in Software Engineering Introduction Qaisar Javaid Assistant Professor & Head Have more than 10 Research Publications Area of Interest Software Engineering Software Testing & QA Computer Networks & Security Formal Methods Usability Engineering Formal Methods in Software Engineering Instructor’s Introduction PhD Computer Science (Thesis Submitted) MS Computer Science MBA-Telecom Management BS Computer Science Microsoft Certified Trainer (MCT) Cisco Certified Academy Instructor (CCAI) Instructor’s Introduction Cisco Certifications Cisco Certified Internet Expert (CCIE) Cisco Systems USA Cisco Certified Network Professional (Cisco Systems USA) Cisco Certified Design Professional (Cisco Systems USA) Cisco Certified Security Specialist (Cisco Systems USA) Instructor’s Introduction Microsoft Certifications Microsoft Certified System Engineer (MCSE) Microsoft Systems USA Microsoft Certified Database Administrator (MCDBA) Microsoft Systems USA Microsoft Certified System Administrator Microsoft Systems USA Microsoft Certified Solution Developer Microsoft Systems USA Instructor’s Experience Operations Manager (Key Solutions) 2003-2004 Manager Networks (BTC) 2004-2005 Project Manager (International Islamic University) 2005-2006 Assistant Professor (CIIT, Islamabad Campus) 2006-2007 Head Cisco Networking & Assistant Professor (IIUI) 2007-to date Grading Policy Formal Methods in Software Engineering Area of Course Weight Quizzes 10 Assignments 10 Mid Term Exam 1 20 Mid Term Exam 2 20 Final Exam 40 Total 100 Your Role You will actively participate in the class Contribute links and any other interesting material you think will help yourself or other students Recall, I am one person You are many and will likely discover resources that I have not encountered Formal Methods in Software Engineering Text Book & Reference Books Text Book Using Z Specification, | Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor Formal Methods in Software Engineering Introduction Qaisar Javaid Assistant Professor & Head Have more than 10 Research Publications Area of Interest Software Engineering Software Testing & QA Computer Networks & Security Formal Methods Usability Engineering Formal Methods in Software Engineering Instructor’s Introduction PhD Computer Science (Thesis Submitted) MS Computer Science MBA-Telecom Management BS Computer Science Microsoft Certified Trainer (MCT) Cisco Certified Academy Instructor (CCAI) Instructor’s Introduction Cisco Certifications Cisco Certified Internet Expert (CCIE) Cisco Systems USA Cisco Certified Network Professional (Cisco Systems USA) Cisco Certified Design Professional (Cisco Systems USA) Cisco Certified Security Specialist (Cisco Systems USA) Instructor’s Introduction Microsoft Certifications Microsoft Certified System Engineer (MCSE) Microsoft Systems USA .