METODE FORMAL
0%
Previous
Course data
General
Announcements
Welcome to the Formal Methods (in Software Engineering) Course
RPS
Course Overview
General Forum
1. Formal Methods in Software Engineering Context - Part 1
Formal Methods in Software Engineering Context - Part 1
Reference Reading: The Role of FM in SE
Self-Reflection
Week 1 Forum
2. Formal Methods in Software Engineering Context - Part 2
Formal Methods in Software Engineering Context - Part 2
Self-Reflection
Week 2 Forum
Quiz Minggu 2
Quiz Rem Minggu 2
3. Formal Methods in Software Engineering Context
Assignment 1:Review Paper and Essay Writing
Paper 1
Paper 2
Paper 3
Dropbox: Assignment 1 - Review Paper and Essay Writing
Week 3 Forum
4. Propositional Logic: Propositional and connectives
Propositional Logic
Self-Reflection
Week 4 Forum
5. Propositional Logic: Propositional language and semantics
Week 5 Forum
Quiz 5
Quiz 5 Rem
6. First-Order Logic: Proposition functions and quantifiers
First-Order Logic
Self-Reflection
Week 6 Forum
7. First-Order Logic: First-order language and semantics
Week 7 Forum
Assigment 3 ( Quiz) : FOL
Assigment 3 Rem( Quiz) : FOL
Material W7
8. Formal Modelling - Part 1
Modelling with Alloy Part 1
Self-Reflection
Week 8 Forum
9. Formal Modelling - Part 2
Formal Modelling using Alloy-2
Week 9 Forum
10. Formal Modelling - Part 3
Formal Modelling using Alloy-3
Week 10 Forum
11. Formal Modelling - Part 4
Formal Modelling using Alloy-4
Week 11 Forum
video kuliah W11
Basic Alloy Quiz
Example Video Project using Alloy 1
Example Video Project using Alloy 2
12. Modelling Project: case studies
Progress Project Report- 1
13. Modelling Project: case studies
Progress Project Report-2
14. Modelling Project: case studies
Project Report-Final
15. Modelling Project: Evaluation
Presentation and Evaluation 1
16. Modelling Project: Evaluation
Presentation and Evaluation 2
Next
Side panel
English (en)
Bahasa Indonesia (id)
English (en)
Enter your search query
Log in
CRJ2D2-32314
Home
Skip to main content
Course info
Home
Courses
FAKULTAS INFORMATIKA (FIF)
PRODI S1 REKAYASA PERANGKAT LUNAK (FIF)
CRJ2D2-32314
Summary
METODE FORMAL
Teacher:
YULIANT SIBARONI