Course: Logique de Réécriture et ses Applications

Topic outline

General Description

Collapse all Expand all
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
- Forum
  
  Annonces Forum
- File
  
  Mind Mapping for Rewriting Logic and its Application Course File
Contact Sheet
Contact Sheet

Institution: University Mohamed Khider Biskra Faculty

Faculty: Faculty of Exact Sciences and Natural and Life Sciences

Department: Computer Science

Target Audience: 2nd-year Master's students,

Specializing in Software Engineering and Distributed Systems within the Computer Science field.

Course Title: Rewriting Logic and its Application

Teaching Unit: Credits: 06 | Coefficient: 03

Duration: 14 weeks

Instructor: Dr. Mohamed RAMDANI

Contact via Email: mohamed.ramdani@univ-biskra.dz
Communication Space
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
- Forum
  
  Forum Etudiants
  
  Espace de communication entre les etudiants
- Chat
  
  Salon de dissussion Chat
Objectives
At the end of this course, the learner will be able to:

In terms of Knowledge:

Acquire a deep understanding of rewriting logic and its theoretical foundations.

Demonstrate knowledge of various practical applications of rewriting logic in different domains.

In terms of Skills:

Apply rewriting logic to solve complex problems effectively.

Develop software and systems using rewriting logic as a modeling and specification technique.

Analyze and evaluate existing systems using rewriting logic to identify potential improvements.

In terms of Attitudes and Behaviors:

Cultivate a problem-solving mindset, utilizing rewriting logic as a tool to approach challenges.

Foster a collaborative and innovative approach to problem-solving within the field of rewriting logic.

Embrace a continuous learning attitude to stay updated with the latest developments in rewriting logic and related technologies.
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
- File
  
  Course Plan File
Prerequisite
To take this course, it is typically beneficial to have a strong foundation in certain prerequisite subjects. These may include:

Basic Logic: A fundamental understanding of propositional and predicate logic is essential.

Mathematical Reasoning: Proficiency in mathematical concepts and reasoning, including set theory, relations, and functions, is recommended.

Computer Science Fundamentals: Familiarity with basic computer science concepts, such as data structures, algorithms, and programming languages, can be advantageous.

Discrete Mathematics: Knowledge of discrete structures like graphs, trees, and discrete probability is often helpful.

Formal Methods: Understanding formal methods and their applications in software engineering and computer science is beneficial.

Additionally, a passion for problem-solving, and critical thinking, and an eagerness to explore the practical applications of logic rewriting can significantly enhance the learning experience.
Unit 01: Introduction to Rewriting Logic
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
- File
  
  Introduction to LR File
- Assignment
  
  TP N°1 2023 Assignment
  
  Opens: Sunday, 24 November 2024, 12:26 PM
  
  Due: Tuesday, 10 December 2024, 11:26 AM
Unit 02: Equational Specifications and Analysis
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
- File
  
  Course N°01: Equational Specifications and Analysis File
- File
  
  Course N°02: Order-Sorted Specification and Predefined Modules in Rewriting Logic File
- Assignment
  
  TP N°2 Assignment
  
  Opens: Wednesday, 4 December 2024, 8:26 PM
  
  Due: Monday, 23 December 2024, 11:26 AM
Unit 03: Modeling Distributed Systems in Rewriting Logic
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
- File
  
  Course N° 03: Dynamic Systems Modeling. File
- Assignment
  
  TP N° 03 Assignment
  
  Opens: Tuesday, 17 December 2024, 12:26 PM
  
  Due: Monday, 30 December 2024, 11:26 AM
Unit 04: Modeling Concurrent Objects in Rewriting Logic
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
- File
  
  Course N° 04: Distributed Object System Modeling File
- Assignment
  
  TP N° 04 Assignment
  
  Opens: Friday, 27 December 2024, 12:26 PM
  
  Due: Monday, 13 January 2025, 11:26 AM
Unit 05: Application of Communication Protocol Modeling in Maude
Case Study: Communication protocol Modeling & analzing
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
- File
  
  Mini Projet: Communication protocol Modeling & analzing File
- Assignment
  
  Mini Project submission Assignment
  
  Opens: Sunday, 9 February 2025, 12:26 PM
  
  Due: Tuesday, 11 February 2025, 12:26 PM
Bibliography
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
- Page
  
  Webography Page
Votre Avis Nous Intéresse
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback
- Feedback
  
  participer à l'amélioration du cours Feedback

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
					No events, Friday, 1 November No events, Friday, 1 November	No events, Saturday, 2 November No events, Saturday, 2 November
No events, Sunday, 3 November No events, Sunday, 3 November	No events, Monday, 4 November No events, Monday, 4 November	No events, Tuesday, 5 November No events, Tuesday, 5 November	No events, Wednesday, 6 November No events, Wednesday, 6 November	No events, Thursday, 7 November No events, Thursday, 7 November	No events, Friday, 8 November No events, Friday, 8 November	No events, Saturday, 9 November No events, Saturday, 9 November
No events, Sunday, 10 November No events, Sunday, 10 November	No events, Monday, 11 November No events, Monday, 11 November	No events, Tuesday, 12 November No events, Tuesday, 12 November	No events, Wednesday, 13 November No events, Wednesday, 13 November	No events, Thursday, 14 November No events, Thursday, 14 November	No events, Friday, 15 November No events, Friday, 15 November	No events, Saturday, 16 November No events, Saturday, 16 November
No events, Sunday, 17 November No events, Sunday, 17 November	No events, Monday, 18 November No events, Monday, 18 November	No events, Tuesday, 19 November No events, Tuesday, 19 November	No events, Wednesday, 20 November No events, Wednesday, 20 November	No events, Thursday, 21 November No events, Thursday, 21 November	No events, Friday, 22 November No events, Friday, 22 November	No events, Saturday, 23 November No events, Saturday, 23 November
No events, Sunday, 24 November No events, Sunday, 24 November	No events, Monday, 25 November No events, Monday, 25 November	No events, Tuesday, 26 November No events, Tuesday, 26 November	No events, Wednesday, 27 November No events, Wednesday, 27 November	No events, Thursday, 28 November No events, Thursday, 28 November	No events, Friday, 29 November No events, Friday, 29 November	No events, Saturday, 30 November No events, Saturday, 30 November

November 2024

Topic outline

General Description

Contact Sheet

Communication Space

Objectives

Prerequisite

Unit 01: Introduction to Rewriting Logic

Unit 02: Equational Specifications and Analysis

Unit 03: Modeling Distributed Systems in Rewriting Logic

Unit 04: Modeling Concurrent Objects in Rewriting Logic

Unit 05: Application of Communication Protocol Modeling in Maude

Case Study: Communication protocol Modeling & analzing

Bibliography

Votre Avis Nous Intéresse