Study programme 2022-2023Français
Formal methods for system design : application
Programme component of Master's in Computer Science (MONS) (day schedule) à la Faculty of Science

CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-M1-SCINFO-069-MOptional UERANDOUR MickaëlS820 - Mathématiques effectives
  • RANDOUR Mickaël

Language
of instruction
Language
of assessment
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CreditsWeighting Term
  • Français
Français00600066.002nd term

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-MATH-056Formal Methods: Applications006000Q2100.00%

Programme component

Objectives of Programme's Learning Outcomes

  • Have acquired highly specialised and integrated knowledge and broad skills in the various disciplines of computer science, which come after those within the Bachelor's in computer science.
  • Manage large-scale software development projects.
    • Apply, mobilise, articulate and promote the knowledge and skills acquired in order to help lead and complete a project.
    • Lead a project by mastering its complexity and taking into account the objectives, allocated resources and constraints that characterise it.
    • Demonstrate independence and their ability to work alone or in teams.
  • Manage research, development and innovation.
    • Understand unprecedented problems in computer science and its applications.
    • Organise and lead a research, development or innovation project to completion.
    • Methodically research valid scientific information, lead a critical analysis, propose and argue potentially innovative solutions to targeted problems.
  • Master communication techniques.
    • Communicate, both orally and in writing, their findings, original proposals, knowledge and underlying principles, in a clear, structured and justified manner.
    • Adapt their communication to a variety of audiences.
    • Where possible, communicate in a foreign language.
  • Develop and integrate a high degree of autonomy.
    • Aquire new knowledge independently.
    • Pursue further training and develop new skills independently.
    • Develop and integrate a high degree of autonomy to evolve in new contexts.
  • Apply scientific methodology.
    • Critically reflect on the impact of IT in general, and on the contribution to projects.
    • Demonstrate thoroughness, independence, creativity, intellectual honesty, and ethical values.

Learning Outcomes of UE

Ability to apply formal methods to practical cases using software tools, ability to include formal methods in software development processes, understanding of advanced work in the field.

UE Content: description and pedagogical relevance

Presentation of advanced work on verification and synthesis of computer systems. Project: system development using formal methods.

Prior Experience

Basic notions of algorithmics, programming, complexity, logic.

Type of Teaching Activity/Activities

AAType of Teaching Activity/Activities
S-MATH-056
  • Préparations, travaux, recherches d'information

Mode of delivery

AAMode of delivery
S-MATH-056
  • Face-to-face

Required Learning Resources/Tools

AARequired Learning Resources/Tools
S-MATH-056Lecture notes available on Moodle.

Recommended Learning Resources/Tools

AARecommended Learning Resources/Tools
S-MATH-056Not applicable

Other Recommended Reading

AAOther Recommended Reading
S-MATH-056C. Baier, J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.

Grade Deferrals of AAs from one year to the next

AAGrade Deferrals of AAs from one year to the next
S-MATH-056Unauthorized

Term 2 Assessment - type

AAType(s) and mode(s) of Q2 assessment
S-MATH-056
  • Production (written work, report, essay, collection, product, etc.) - To be submitted in class
  • Oral examination - Face-to-face
  • Oral presentation - Face-to-face
  • Practical exam - Face-to-face

Term 2 Assessment - comments

AATerm 2 Assessment - comments
S-MATH-056See corresponding UE.

Presentations of advanced work based on scientific articles or books (Evaluation E3). Project (possibly within a group) (Evaluation E4). Final grade for UE. If an evaluation is below 8, the final grade is equal to the minimal evaluation. Otherwise, the following weights are used: E3 (40%), E4 (60%).

Term 3 Assessment - type

AAType(s) and mode(s) of Q3 assessment
S-MATH-056
  • Production (written work, report, essay, collection, product, etc.) - To be submitted in class
  • Oral examination - Face-to-face
  • Oral presentation - Face-to-face
  • Practical exam - Face-to-face

Term 3 Assessment - comments

AATerm 3 Assessment - comments
S-MATH-056See corresponding UE.

Same rules as for Q2. Any evaluation below 10 must be passed in Q3.
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
Date de dernière mise à jour de la fiche ECTS par l'enseignant : 13/05/2022
Date de dernière génération automatique de la page : 21/06/2023
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be