• 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
  • English ‎(en)‎
    Bahasa Indonesia ‎(id)‎ English ‎(en)‎
    • Log in
    CRJ2D2-32314
    Home
    Skip to main content

    Course info

    1. Home
    2. Courses
    3. FAKULTAS INFORMATIKA (FIF)
    4. PRODI S1 REKAYASA PERANGKAT LUNAK (FIF)
    5. CRJ2D2-32314
    6. Summary

    METODE FORMAL

    • Teacher: YULIANT SIBARONI

    CELOE

    Center of e-Learning and Open Education


    Address

    Gedung Panehan Pasca Sarjana Lantai 1,
    Jl. Telekomunikasi Terusan Buah Batu, 
    Bandung - 40257, Indonesia

      E-Mail: clove@telkomuniversity.ac.id
     Whatsapp Khusus Dosen: +62 821-1666-3563


    Related Links

    Open Library Telkom University  Career, Alumni & Endowment Telkom University

    Follow Us

    • English ‎(en)‎
      • Bahasa Indonesia ‎(id)‎
      • English ‎(en)‎
    You are not logged in. (Log in)