Professional Documents
Culture Documents
FORMAL METHOD
INSTRUCTIONAL PLAN
Jabatan Komputeran
Fakulti Seni, Komputeran dan Industri Kreatif
Universiti Pendidikan Sultan Idris
SESSION 2 2017/2018
1|Page
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
Date:
INSTRUCTIONAL PLAN
LECTURER’S INFORMATION:
COURSE SYNOPSIS:
This course discusses the techniques and tools based on mathematical modeling, formal
logic and inference that are used to specify and verify requirements and designs for
computer systems and software. Review of practical applications of formal methods and
its roles in software design; abstractions, proof theory; model based languages such as
VDM (Vienna Development Method) and Z; discrete and continuous domain, automated
analysis methods, computer assisted proofs and examples of integration of formal
methods in software development processes are addressed.
(Kursus ini membincangkan teknik dan alat berasaskan permodelan matematik, logik
dan inferens untuk spesifikasi dan penentusahan keperluan dan rekabentuk sistem
komputer dan perisian. Tinjauan aplikasi kaedah formal dan peranannya dalam
rekabentuk perisian; kaedah abstrak, teori pembuktian; bahasa berasaskan model
seperti VDM, Z; domain diskrit dan selanjar, kaedah analisis otomatik, pembuktian
berbantukan komputer dan beberapa contoh penerapan kaedah formal dalam proses
pembangunan perisian dibincangkan.)
2/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
The course introduces the concepts and theories based on mathematical modeling,
formal logic and inference for software engineering.
LEARNING OUTCOMES:
TRANSFERABLE SKILLS:
Abstractions, proof theory; model based languages such as VDM (Vienna Development
Method) and Z; discrete and continuous domain, automated analysis methods
REFERENCES:
Monin, J-F, Hinchey, M. G. (2013). Understanding Formal Methods (Facit S): Springer
Kazuhiro, O. and Mark, L. (2016). Formal Methods and Software Engineering: 18th
International Conference on Formal Engineering Methods: Springer.
3/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
Abbreviation Skills
KOM Communication Skill
BKMM Critical Thinking and Problem Solving Skills
PBPM Continuous Learning and Information Management
KKBP Team Work Skills
KKU Entrepreneurial Skills
KKP Leadership Skill
EM Professional Ethics and Moral
GRADING SCALE:
4/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
Scale
4 Excellent
3 Good
2 Moderate
1 Weak
5/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
*Optional
6/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
7/8
UPSI(ISO)/FAK/PdP/P01/RI(BI)
Pindaan 00
14 Assignment 3 KKBP O A3
Work effectively as part of a team (TS1).
Reminder:
1. Students must attend all lectures, tutorials, laboratory, studio or other activities related to the course, including courses with no final
examination (perkara 4.1dan 4.3)
2. Student with attendance of less than 80% will not be allowed to sit for final examination. (Perkara 4.2)
3. Perkara 4.1, 4.2 and 4.3 can be waived for students who suffer from health problems and must be certified by the government or UPSI panel
clinic medical officer.
4. A student who has to represent UPSI/State/Country in an activity that is directed by the government or UPSI, is required to obtain a
recommendation letter from the Dean and must be approved by the Academic Affairs Division.
8/8